SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 } n7%DYY jM|2 O:CS 3jj  0'|6%N9!堲_jG1\aìKI]`}ջ2LYu}O2{zlyM)2 rbe{W1T ᖷGvS +>qw0PfbHX3ylݴF̣ѶSq{#ӥdu=:lGΞ6F]* [sp&[|€47d!-^">٤So6CzV5 "KյJĀvE GQc! _3/cK[Nk.:pvH@4¤R Z Vp̑kTP`xv[z5*pҌN ^C7`~MlcQtem ݿLĒԊ ;L9j>_Xopn'D-C` 8XFSxםz U̍fcs8,~8[O3c*},|ycqAHcN;ceV-Bp -yJa|8Bm8̆9 aV]Q; B)R3)9o:n_9-]Ze#Et.it/L2 j8LibG'fa] ǽw1٥եhp#ʙI+&3ARS-qo.\ӲtJ\+U t手+8N)YFȉNsܺJ h#O--.ȾtW gd|E{^,yu5+W B#-Jox*=!a/ $ l$gYZ7zXZִF! ]ŗXiɟ`=H{ V£$eM¨Xje5?(,5k8,\쇔pFğ_1mAY*RSZ鑮Wʃ֩c Īvk~mj8"vSMCMy_#@il"ߪ:h ?9ͱgYZ7zXZִF! S]ŗXi%L R*/gӷ˸a9x,+&N'aTCCQ'Agr!,nT/W72Vau-Bfv2̺uՇ yAY:-GV%xnаQdΚ472b7MulıJn%(=i=T{l,Of\n]3CX7Ldv +ۥ-#É!o*oQ5Lqrb]^ 'pˇȠ¶A4H;(m)G\S˯Ugطh7KI5a|# m[c9IT#9 @ hUqim,H6D*doz1;]MQkS[h0mG 5eO,?bhy%Ov@pORTL38$i *V9ܠ~6]!ywO L`^4݄<="?J#^[e{[ky](ۈ_*;GWJ(0l2qҿznÌǓD;$vf$1W;MA,>ĴieGW du1R3Y\'}4EF9g)uD4Gq$b!,c wm IDʋڜtfV>SmQ?2ٿټ*g~86FdӂVp:HːP 5gYZ5ce630d1d649f89ff3af343d6f97e9891d969d0cd3f90704504dab3f9fc94e3d143d1180eb260c4a   System