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 dG 4DT ] Kuratowski_Closure_Complement:threads=2elapsed=26.232cpu=44.776gc=1.224factor=1.717zXZִF! ]ŗXf1-/6vRZ'PGzl}+})p^/KN%-D %eխxeupg:lhj=SAsdĢ$8,LE5p#>TZmh\kOx}\+)&OK6G xfvVZ;5uZAjΨRnj<68kUPdq= mN㫂}z?IcL 4*lc'=Tx}/\qǛ"ZSϣ;;)Q.N0uFCs+<`:D"TЀ~Pmm}\~ -\h ^}k $.'^֕Clۻ|pl?L{%Ci0G@8HI։ ŘXS\Y$yv䳈N+d[gYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^*V({v@'L:@Ξ(!M?<0Izv^0L}YZ7zXZִF! T]ŗXi%92xJ64XȍaMUODj-x\uo6~9Eߏ&ڔc<: XC)kH)Ѿlvڿa~MїN Ehy\Z>GRD7Kƚ>7W=]SQ]:s 5p3q9 =w5RǹY3(qӬd`,مOLzT|2btX7yBu7΍O-?SN:_sv]Be*cȂOy yswIA[y\@HQ(|pĺCr(쫲OSjʄ]i1grr-izku!XD1cJ7I% T:pcwze0|\a]ZxU3h6z(wA2\Y\_|S j #!2.zgICیٱnQuا%g9^yn[FlhžoXc0ӆJ$A_FC>e՜$ EA&m즊YWC)bBikKëN5E&849lLPLTuNŃ8mPf Hi&]R^=(bz=~nM,ޙ :7YZ*8,?[7;z|y-Hfkz{ :;)l2s}4Pony97XVj #1\w|gNɨlPJ"6KOCWr c4-"#)\| ހ2E E#<`$?|<,.t7i"U_w.ݙg⨡;\IAZ=!J6HxS/IYW'Z %csi97Bx >1rt'-%%n:ۼ?4ErAgؚFA"Rv +1Kxv;st[ epHz5^YĔEf ޿3s_r#xCSGs4=0Eue0f$i$uԇRR|^(LBA7q\ɍ1& *הb(?*Q˒:ą\iG'6!޲;,)aa:S}/!`N;.|R%n%UE>Έ\3) 'ݏM9zNq[WWHd/k8!&ҪrdE w=QeSu->Y"tZ9UԔDKTk Orх_dAҶz3H -ؘzW;R]ʉ_RFҜ:O)i_YV|cCȉKbg۰)oo h]^z?􍮹˧S