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 =+ ,\ ] Epistemic_Logic:threads=4elapsed=5.999cpu=12.120gc=0.348factor=2.027zXZִF! ]ŗXf[&$`IGqOS+26C/~.a,cl\lU Ggo&> 9B5ĸ2X{1f4Әg0MҝYt<m|D[( ͋*` \Ȓdy1Y!5ۨ )ı%:dyAgK&2HEuwB'sHCgEq`@PO0$DDO}HI sr&pZ1[ѬT VݬP;S8o_bz@*|AA*7):zj \ؙ7x@ ^'M~a6Ve!><)Bk0&?^bgدH*x4cx︚p[)~ޚ;#ƙ0KZ>faK:vʪZɏ΋Qtͭ$)G3}NGV}D2[ e;Tɜ-pH|n ƚͩN)27bƫ-/u0IR]j:q~HM/$ (IVDHi1p{Lv!"ϱ3: Hgy: WQ]G[cLi) _fJɠq)1O:ct%֔rv~'N}_礌 SίLoڑ'a"7OV߽S$uaхtT\ M/ZwF{0b]N0S}:w`Y7wEqӬz8;߫@Dw̱D>[E}"0K*J`Nlַg0 P,QzxG;-}Ȥp^tcTǽm2cf+ m50"z=X\ 2ꄊdW9I.5*뵑GZ՚c&D<8~{覣"1w/ڌ I\-g]Ѻ菆OkwX9Dì G֐}zi;kΡYz-f4hO Su8 ngIgYZ814e785b68e358fb9274674625deac50bc631923d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b + Epistemic_Logic