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 8' \L ]]List-Infinite:threads=4elapsed=15.573cpu=54.428gc=1.868factor=3.507zXZִF! ]ŗXf[&!9s`|kK4CQ.Ia Y{(X/1gu+g B(uzqQv F$IIJQ99J]-?$TmFD!gj,CU40s1;? Ok$OY) ^ʥ &.ѽ; }8"uk~ aT]Z0m1J6@[c5"QYR(&ꅤOui{^ZE97#MH;x s>]w eR嚏*fP^饨@*pv,UUdB '%C jlC#}yO ۳]y5Q,5Nn-u +lvF%:+aMdXZi]x0AoʹeN^n2)!Й*. 9wy i~} 0ɑ4EnzrsųEE4ޤ-!O$뭑i%D= Լ!%0Vm̜B- ufXG{ZŹF#x TM泂IYyL*Nbi@a̱u tPr8Rj"Ԩ~.U)>Gx]GP{YۏM ,o]oVq(4T R<^ \ױ0`eKm8 7 k> ^ȸu!t?"{iI zsKDBCbWA>Ll:X8o݀u{C0# +v(=!NFeMݢaJRY͡j5iHGZ+A$ Hʧ5r׍Ow}C@ S *Ȃ>_M pi+T%NiۦڻG}϶;:-7klwK O^WFe~\Tn| -{5^yNG$"\W<D }Ĵh̙n- @Gi&RQkNQv(oe_x -C·˥reE=T|dS4ά.)F5InHÀ[ݺFTֈwGBfŕbԤYF( ag Uo #">.dYIr[~h'a\)cl' ͇살S. , dT`ʖ򃅾7dCMF =W}BL̅ xC!ڠD2*|%+T3aQ1NgGp@L͙J x6L6dikr'N2fM)T< z'`k+>w˵or?9bBNyᴝtz= F/0rRn);W8Y62=g<4DVQX-o13W,O|zjGd2${ņ2?( 4r8): 3\ 䄚k"Gg|rWN]ĭc{N^"E|I!`W=\Bdjm/aYԨcBep5#ovKس&%b gƖ|Ǵǰi r)W( 7/FIfm042N܂3N(El NǺՁ(yRIOhWOP$wsy{|{o&Q7چnb/YUXb9@ &Del:g)>g%ȫLdٮBP$5ޘ)Txß=ѰF(B_w-+)`u7gYZ0c31ad87b9bc8f5133bd48033859607b1a81929713f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d586f2e7a434165442f93e6aaba03eb9e151c1ccea ' List-Infinite