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  \< ]]]ZF:threads=2elapsed=24.503cpu=39.044gc=2.208factor=1.597zXZִF! H]ŗXf1-) enȈA XR„ Po=p H~~$22`ÜS6o2ј%]}* M49D*Ғ$x V-)V ,OOy dipݎ|8j4Nc*X"/.Jl1U&vP(OmNBdxbA;vS0eҹc]W\gc,7s;W,j{gg{44B4e #|x&>喇,iObCWt }Vx5K77yq)1]U C*7$XwͰ20#Z=p׬+%J|ۯX:G(9 EGgAYddp.E,+ 挨o0J1@߹E{)>b)J&}aiQsj|Sek`cm\ wO=5@oq^s@ErhvtX%OZPjy¶vƋetː3=Y&ڠwW NXr߻OAXܨwff!}I'N x PDg^fɥC h*­ 1ty v g(s|~,cPܻ1Xށ1`'C1mD`kG?V٢aW?yR5yK/Nt*s+F;FUC_ӣS3^x֞hfϽ6T  ` _i%)?1; aQev[]1DŽZ0;%fC. Ѥ}k,{Q .]Qƒ nfr$<1@H@#ɵbFMȘб0'W%Zb-xL+~;jV8 b=*mlR/m4,Y߇Jr䒃ɸv%znZ x+ IJ=ka&ątwOOwڲy\0nh?_4N;^ +o:UC\\YZ&#DA刢AX*2ϕk.-\51Zn6ZdSIݤHn[eЦӠ1I Xbͱ/VSsj|zv%o˼A aM= ⤀7ƳQ\=>:# .Le 9MC#kQ<)11`\PͽT|DfbPZWYdpggYZdd4a76cbeaf59a9fa1e398059c1fcca967481511db6f05ad5884c3d4b639d9f4b203792d5968e568a576462fd42ab1a9ba9f77843dd376627ab012e6  ZF