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 ~~ D<4 ]/]HOLCF:threads=6elapsed=12.883cpu=40.532gc=2.200factor=3.157zXZִF! ~]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAUI0Dfu_xWTM6ИkWoS1BQ.a 哶é9j We7ܶ [mo{ݙc<4V 2#$Ʃy׍,LGp[. !Ip0N[Y6i_ jmUJ a-hӕ";𡙉ZP~>Qq9xyXA]`2[P! ~Wז-Yh}9Hy[Б'Jϭ$&)A\vGĜ`4h-`]bo|46?bR'm%'yeN~pK`a1q7|$w,tgڳx_T; |dr8)= -lf xl•pv^QN$?g֯=4]-џ̜'9sxv\枲Z!w[a ;6Q!(JS!=@3wq"ˮIbI- w2x>- /']T5uCl*cWցwW{\D$4 n%K"sgYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]t߇ː\H >sk>^j;Aou=i8O1Ir%Bap.x.7)Yx0Q8Aݮ}[GzGVV{kB3}2VsyYçi^ kOoq&aGFG^yy‰ր:, ob40BLoAm<ӝb$ȵP*sIx6X08M~оcjaS`*%]3i\=t&Ⱦ['])3yLiU/WY k[ƑU4I.H2ڡ:N }uxp8%WBH"5٧;.pT:ՄE,s\ t+HС\_ד1wHl/pjɌxm[u->XIt;wp%]#'w&6Om ,$)uTWϰPe P:`:Wed/w#"\ o0gYZ7zXZִF! >]ŗXi%@`n;Ĩ;J~'#SDq.gԔg7:d3hَ̩gO,Q*{$K\TPd~_,#egb .={#][ϳup(97AJ: Xʌ߈OEljB|r7!oV'<`}mAty7i"8O?N;iOAei@o$vR) S >߁{ >GVNrln)s@-نmr@ȁM$K xBTZWHa+gQ`6OPy]k+ǁ<ϭ݅nږ>`lC_Nm+Q@iO1=]qsY@O SrfJeN 5:ϪPQd X{W2UvT =#<4hKղ]/ϰ\ nXoQ%K-ͳZ7!QEߖ{(HUnʫ\]ɳ<Խk n|.Oi󢹩ߧ1S?jpKgojD]/GZQLC[X$'^Tf:\,/׼ IusR*T*Z+MfصNc`p,|ך`e6n<_|l8g;m|&W Av>*,nT-~/}Nt&!5YG"/@DiHvǻ"B){SK~Bw:\G*} ~dL89r ;s[ף:dP*~w4P] n0 " 7۟sTɹ.ΎRđ RV\C;ˉQϏ{yz=dvnoƴ),%|]S!ضqXgN Oʪ;~!'6|2ߤmy)m˵EEjl#B vpW;UZC-o^ETL>HS2ꇨJ#FsF3;R 8_dpODq u"\7*@x+W?(lh}AO