SQLite format 3@ . BBh77otableisabelle_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 .= l< ]/ Diophantine_Eqns_Lin_Hom:threads=2elapsed=27.837cpu=49.208gc=1.032factor=1.777zXZִF! 3/]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[,Qa91e9yf^\9W6CMTiL̃#}-4A \p9b&.)NnmGTJ\>j%_O3MeHQ(DŽq20+Za[ qI=raVi6ߎak]2T/ú7 ;Hܴ7/<='11sқ0piT? $/ ԏ28Al3a ׼ ˷IkhsBÞӴWB:T'>B&Z,ur@p'6$Y|:Q88; yO7ו!L:eQp |J$z̚Z\<]=`\ZaXm-g0?2!=x/ #(6|AɚrHC~na}xzwUȆ֊'d_zHaunOEXIȆPKmbs]QVNp'>u7,4Cdfz0?؀*Je:!2Xx! :u"_Pu'􊼱](#Bdϥ"ʅB $V "2Ǜ/FG('36m6PG}).Y6yƌ?eݍP(sW: atT.qD6t 緽~,gnե6')!Gg MNl_,VwZ%;s#?v!GZ+{rӲ S+_S,\Ѓ-jAyUzSWZ"|LA{ˊ*ѹ{]l 7V[^6IqWII XѤ~" f'vͶ۷%+ .y'^ V+稆箕̍օw2gޭ襱gYZ7zXZִF! $]ŗXiɟR .t[dw%d^ܸEH4!LPV_ݬPyj!Sԃ+\L a4i<ם,Bgh ḦiQ-y.XƩ訴j U 'Md9\"˺N5> ]˵RT ]Ei`*m&Rw)-gYZ7zXZִF! ]ŗXi%9*]p6 fhB QM88U u߃ pNZ6|OX I[)z93ʨSf4W<6k;_"\C8b.\ \RQ8. YUDڿ#ۧ(zX`rm h:watVXT,@5~| [ 5.K27"׶$1ӽp1Yu#:OqP-f|!U瘟 o%YeWnλ03mƁG'¸ Mïאּ†K1Z"DXmoޡ5ٟg-S /  f}e5crDفtƈp_b $xVI)۲=8 ![f~^o8Tjv Ww2PaڍT ˭Zq 9d,GY!r!!f"{H <.ɑG˥LPvgIGI>Q>Yk)S:L E mt)$_BT}Z~v#Zz21:s`k=|3du|œ/fBX$}Z_u*@c(#?s (T'")xl$kա+d>lnH-b4 $ ŧnS 9/͛b4 0'YKo#8)v!3dkDإ嫉AJIU)զb콨سjɲ]|LcN USy[$\էd{<IBB_D G_84A3dD qC<, hJ_X4kzl*$4;4dYg!Xt#N8R~ocEڴQ) A:*quT|UU-@&5O3p ưQҍh#P