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 gg% ,\ ]w]Sepref_Basic:threads=2elapsed=23.011cpu=44.144gc=1.940factor=1.927zXZִF! ']ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 ж?v n.]wr]F;elW;_Ph1CAN1|7'#ȟ$%#pUg40#$蚄ψaښ[zŤP(Օ~ԩuQfկLޣqyqa|eqEVޱY(m=;̔|ʅ??d -ο rԖR)g$A> )b2Ʋ B֥MYg vQʃ<0* yXJjhUlxٔ͝,F 5u)gZT:޹\}vgg  hت%K>]~t]8T+ 9V QjclicꀦweP$swjL𢿼\ǢQ1*_g)(^=qi$c,XzmPkkF|&0ҾٞB,~By(q"kLdmltGSa635׃ͤi> 6A1 W2E'9;ҽA =ȿ2-#qsݿ[pZ?-9=x,?z%۝X D4saw)J_Tw s x{Wu 'zQ mV'Q5Qn;g~g .|R2i*!=\QA|܍} x_'6Op[Fʜ{Xb[CQ!;R*6ˏ2QFKc[&zV# :Aq/>S E kdjG_jJE/Tekũǃy{ediv+ %]O_RȖ#xD `rݣhyD˞͊otkaiJB]},9˹&YuS˦l߇cվ.Sf r LmΘʴn1lVV(7@Ez lp쓖.ȌA LZhcȊTAYhWc:Cɴyg[zu`-knGxZk >%<MhPN'~v)uJ,e8+HZlM8gU7l)TBj"8`v—$Nb S*wZîf8ga"i B-Mo`ʛL-Ob]v1'4`k2_6Qմ!9Y3n3 -Mb%=nQ lB0:.t~*IwmRsSƿw. >gyVg- `tyNZRWro:|V9{&%īן tvΟ9UyŸ [rկƁ/ bO|R2#j sL[6/eTF Y!/I$ELkmLn:0wTC+᠜wK.R^>{ΏOg?)~}l%ws@o:/|} 8kAMAAlw_PͲy@V^3{0;۞.fqRKAؔ_ 4nMFSl DgYZ8ccd1ec90f3828541c6fa162c3f0c2f17c75f16200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c 1741ea6f2f585137699e86ea4f24dfcc1a958ef1e2f84721f0324ad88362f1b212ea4901983531e9 % Sepref_Basic