SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 <K L I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.846cpu=22.448gc=0.696factor=1.897zXZִF! ]ŗXf1-/6vR[NDZ1* )# rof [iX7C ![O߰dsUkp:kt-7HU~1BF7dR".59+{?[&R-)8,q "K Random_Graph_Subgraph_Threshold!hGuuꞩmmgB l[}OʁٯCyk4p;FFrHGNjX^ @#ܤS]/Pw4&ONuȖؖ[0LQ*XIFsil(@WKzאhYpIk󝥠@fNw;+DBJLF)Sk w$ܨ4,3` ]e_àĐwqA`4^b*ؼn _!^j .1iLcڲ^*|6jI[%fXH^NzTWy%P╪晞}A8!TFVGއZ r3TJNlq[fDb,7Qu{ι3*HlrH1GRgD~Otw^8:l{)[ DxNUAy?ƾn6zFdK aH Op;Ha8 cO+\C)v:@k 'eTO'3v7kLh"DM8έĻh;H!6|lͲBjԠJHИ:S.WP~b ܊I@Is/ (%z+L?hqmLk xI#xr A>1^TPʧu}t>ǰ͵I{q5s7@z 0+* 3O^!Wğ_Ld7M}`/O6xX ,;έs Tμ BXߡp9~:kc=SMs ȶ{'W ə-5)(ȴi‰^G Zꖎ*uTM_#DF”px8OַD|$%Ppn-(8/g(i$\T4nI5Xd]i0q¼ՎxAzU nj{-en [O4>?dR-,{z~:okC3YP˔emu3gꦖQJh6MnM팕18eN}`N)ΡѾޑ:#HWtosa s[h6/5%F; &Ѣ,pZV.I9("O)87rN8k\G{ 31U8c"I'oG! %9bg4O/mztt272['AsEgaܖP3Q#>CG|P00iاhhXcP`vF#!g_J3:Owff8..O Z#?q6@Gw rcbh7JyLMZi䩸$֎ OtVfn }#غA,d9SCa~iԽw&.i[)4Yƀ^3SP 9 ߥdJK/`聙W{216O(V PHMsݻc$7[O¼,ZGQdI,hAQtMM▬`8?4hRjw_eD.gWeIz01=-ɒ2G?3] xv֣M_*D35gYZ7zXZִF! A]]ŗXi%qQ*۪)CT?~Urjnm_#-I)[h|6 e=5֫JҠyCƽ'nmC6?n,oooNC`4uq=(lI=Miڼ}auE 4vZ #/E.Gq:?y>'OiiM0 N \_u\[n褩-OC