SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ddE TtL ]% InformationFlowSlicing_Inter:threads=2elapsed=22.929cpu=41.428gc=2.340factor=1.817zXZִF! []ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dM4>fޞ€G^NlõvWʌH\v7+%Q5c]`ERߚX9bB[J^iPܢS:P< {8 2宽|嘪%XxW3$|ևjF%yaZw7B?9Yթ3=y4&/71o֐7K1?z* m%Lkw5AYkvP$L?඾dLK*!я'P+XTejswP{zfq%kFDO<SS 2_"i0Uddk]lWġg6'q"9yw#{%@RKjm̉{K߁i{hӣM Kbs\=N`rh(RzOW6fsѾrP$}@uoه:V\7*IMY8 32Et:{OJ%7]/Ka ښi{[h.L:Z { Ʉ(2.],p$ؘQvӰ/FHJa=ic|,"p-@fbm(S}?OfU$gio4`ɯgYZ7zXZִF! q]ŗXiɟT>(;gG"**Ax(ɳ|SD6_PܦJRr `CZX5~ JS^ލ`j~ gYZ7zXZִF! `]ŗXi%>gۺit,5TF_/ ͷr".,seBT͏&YTn(cA&&v]gr8&Hah썖DiyS/Ř0tL;o,SwXfQ+>XxdE>r"^:΢ pU2oXFC_IV13s4a=%lx j276OveX0Gd8XlHAzKڣ0l+#AbzϬvl/r7^S5`-'LhW,U/e*tuURF6h)+Iێ0_IA @A"]dr߇{lN7DW/qfiDt.XtVzKu={_{F3LXYz+ ]< =bQVL#ٖjC% Ӥyg3?R{cyO HD?, Խz}#b{'懠Bkt'1s1@:TFx*va o3ô<| G {Ox)j tCM☼폤+1 Z?m|yYo>Ud62At' B9$t|hĠl=ۉ4c$}d83uܣ$}tSj.zCddzsj$@RY,kvJe