SQLite format 3@ .0:  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  z z{3 \ ]S]Applicative_Lifting:threads=4elapsed=24.578cpu=72.876gc=4.264factor=2.977zXZִF! &]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~HXc4b)SۍFE1BnN]`FCvPɷ6*yQjh@rnya2?ݍa4_tLTwSt@Fnr&ʔ 2;LǢّGʆ@T"zNh*%f՝B2#I=pק}RcA}e_2[XjQ`{ T7R%@25 @)(f-H-X7.DEUo85d~=ӾA/icBGoRĩ@Y{.&$tD`*=#.yVuZ-q>^6,Zvבk&@ԙuyyac|ʚ3~{!oSZ\ !\q3Ih.G s~m7'n6Dm~'] ζn{0}N$IPN蚪BS~&),oOcI/12 J~A%N2V@Kdr'Ӆ61Z[BZD3L#uն}=biD |׎kB:A;gYZ7zXZִF! ]ŗXiɟ*Q?rͿY!?ID(@[YJbnXz2Uq)JxRNļç>?kpjau3UjE_)Nĥ8s;LnҾi]w{*(fa>͞/.vq)CU]>K:N#t?'YJySh_G`U]Ȇowr0(Sf<.*uKy5tqAH19XtHJ gCeh6GUԧeȧ45.R6yR"zOkJsmpeL|u;ȺrA'5h OL 8AoQ>M$-eƶ՟_aNSs4L&D_s?q,(_aݓv6,3fExyH (x{i;E܆lb'~Z^~cx\E b UDPrCe"/L`o-bz!*|Y.Oqc):bV fcy3uVO8lT5HגVg{jL܆ôpdZ Ќ}n_B,E[WL0S y;rMrv,q)=xV^Z⏂9gFz`d@ .==}I DI4y_eAa:OEP }mzB2@% rVwf3qF,1~>pr o!Cm1[p{xH~9TBC3ע.8`l@SABDs#~(PRᾼ{`(ߗ@#.ET)qq͊L㟿3: ʊ!U?쑫p4DgxjB{r;6b@È(rȷ[W MJܠ9Wѣ5{-3|^X-t[Xz$9ځIDmE$4m2Sl"lﯲDK`-K%.R Y}HLJ7Cd$B'D2U5G) "6zx˙}ZȰp=pȥC