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  f lt ]/]Nominal2:threads=2elapsed=39.051cpu=76.768gc=4.140factor=1.977zXZִF! *F]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk܈ìFwxBV/*>.#Zƌ{dviav֥- s y-d-FgHEMuMeQ˞v#)JjTouB"_< k+a}6y(S_)Y}ή+$>! 8UVGk $¼r&dWX GnTju l}1LHˁzA(&Mk%Y] KwHxbH5dўN-&]B ƺL}Ti5ւoX~01-:}.Hd7=Ȃ`ɲB;Z5PQ s.>J򐫂fe9T7(耉0!.;E=p'UC7GzC   Nominal2w *[l=6HgxKz'#3 roI7Gq:\t"%XK2,)Gr$FgFep :}վ(#:UkNq#ҟ5%etCbzTXj{E$oFMGAvL'^Adt;c.&'N;}\ NV~N6ӯAr>m$3HͩVvJr֤atzt1^GmIR= qA9"fRnNmfei3*.n|RD[(/^@'ޣ+8W-JWBDޔVsmDZfv[x}} C[X,h1Z$"-׮K$&f5Y jΣoW)IXD5VJ 6?A `}f1~<.lFr"Q_%oX;7!-Oݐ!}h|myo~9á/,UT#&-&jtE̲ W%jF/&bNWŧ\D z7 <=<u{JsX"cE\.yv6ugq2h!N)|?sCnPVZWRUc$ ywmnhoO'4:D&fe/k$O0FJ곮pbl;3?. vț?~vXw4k^3ꬠ._`iBWo5pR~&#_ s^vE ; U5SmrgYZ7zXZִF!  ]ŗXiɟ1˦r.Hil c`1X14Z'A`Ba]%dZ0K | 3ݾ3;-v^,na#`]l"<-w?X :r/6Rfduq?,ji N˦)‰sOThM 9 S}?Mε7Sc,bq0Be]q;j(: I;"`v|Pދںi D}2!M8"W@1 1{YE5Hprp)?&е#!_ $?v&xkO~N}BBésfM" IYx2 ufNgYZ7zXZִF! ȼ ]ŗXi%92m V2&K{ mh|OLy`brf3aSpƻ򫸎uǦvjAc߉ K6K lq"6 b6\B?]{]T;8lw%skz^9X;q7Ry\\ՒcOw\ֆd93^}YMEێ1-X8@%0x~NڨY{D?@v|0rf7MG\X 97/UY+cf ˫nI3O@+mKW },8gg^w Ʃ̷kI;ۿ5Ӫ!Įmx,sQ/ܭlg A}腱)Mky: 7HK2HU#nB^˙-.xV6^6cS!yh(D!zu8,Y%y)`T;`ZN[8J 1$x~w~`ZC|ɕ6֑$CO27B2Z(?=ٟGWܥc@QOn/ s2W\EMaLXDmu,L1 {zS$g7'lTefѪ!Ehԓi:(K< >++P@ѫ?;8!G}/^ch|a4$F]Q#?["\ܽ3+Ju;}.CYq7!]f蕃&ccg1-((Jὼ4 Y0PԢ[)LAff@(y R6hI犆׏w/~ZvG,p@=0fh>[{gy w;synd<}G}Jpt{2 M%MUD>qk8O|=pXg*/|3 hUn_հ*fC'n\y/~N( gF]U#82 pze>5`.w}S -dIa gXs;`/^\Qkf !Ӏ>,!͈*ŵ0c'%ϜDRPs(BT[@%YST@u5Rl47nB[Iơ1ʊA'E>kT~М؅)K c^6)#G&CӾm]8HWWEk[e?;ʇ4Ky̝w|%k28^ٵGmɸAldݲiq_"WԔYh˪ԍ<AxjԸ\ ӯ'=UZhn<4.Da4*NnU0C0;l!cu-oPt|ꦹnkYMAjWw(6o730ĒdSo"L{9<`>w4˹o˾` cRu YFpӋ-ʿ]~YEK#utGJAH'@ 1rxؕ# Ae.%y`=掼" G5hhHD㜸*FRHg^U.|]Q Lc}〵m{wG%oZ<8(jai+pVOHD;w:-?IA7Ƙ-OTR:oDH] [Տ ~>;)%\ăӛ )  jV^~o0L:T0obD^S3{[ζVY$! t|+[h-L,d6? q ԁe_۠HE(5*i2Oy [ҶJO>e〵Vi\^ԝ8汈Z ,FX`(n㯛ʺ-6qJ5Toyh>+v֔n0Nu4 EV6Sny{RrԠBk'ZU~X9 {] }]D5٭h:JM+r t:ezR¶ML @ 7z";>o^3Z!*g0̩"N|4ő$ %H`ͽPs#t^.zkNPlrr7 hױS XM?96%OD?Hb"fch||uK.QgYZ3df020b5c232037a97bb75174165b7e0d0a820c2a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b8529e9b3dfebc2660e45cf0e1e3423e186fd0bae53d