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 FF7; 4 ]/ FocusStreamsCaseStudies:threads=2elapsed=33.077cpu=52.692gc=1.568factor=1.597zXZִF! ]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[V)b0 Y61]TxXExN]Xݘ ًe5#{Q5vŌ+||T`zc#1c1)D a:$@ŵUQ#CY߬{~Dhe_^2!Q!%IY&i7Oߌ[NTb9Wƺ)Ş3f+l? ̅,0})]zBoi/?S, 2ԚU ե]M9/DȃO3]bKjLmA;{]n`t0vfņEܣҌt؍M?| ]Lҵh @YTEpf5]1Orki ucV:6Ա~=UfH&V"#ղT~GH}|*5:Ƹ6a I^ b&{ZB@NdC{Wh]SQ0S@͢?Wyz`?;џ%>VR7)qOy.rvzK.9(^ֳf>>;gYZ7zXZִF! T]ŗXi%60n9ȉu B2>Ԝ>y2 Ի%8/f"Pg6[7$SDRq m.&J ,z=9glHz$1|o6WI)V"%7-U2 Ki Ynu$tjmGBI5NQU))C`Af8\kz1/)Av mN@せ/ ;G{q\ZTL}].%0d`~`0fH3dQ :#=j}cz_8]r1MҞvtip~VE#6b|4oޔXZa2Gn<2Gr<Ş?9<]8x(78iH4 !p|Sm:R -Q}2 )W{lv mb!9H0SPwơF<ԞQH'/LA/d-ضk<`e.7ZRGZՃNQG|7]2Lo`1y fGD$beJ\RZN56P3[یz*){ 8iD̴(qËd~ i "TNML'feq7V$%ֳdA`w &5ڪP9IL[H((lDK'  dMBd́U$`R7\ʕG[+8&KEc~58A KM5PI}W//jP5 ߡOfYCBm0# > Am3WC4/?E?^1b\->Iۚzh2Sy&.mp ;ёo}]tK3`-#]SZZ[x:wJ u2\ iqQ(i%q=TuFW> zy)ٌ.68!- g}HM/1rsGx 3K%3mtH lD[Nt XQ0=N0V?pTǩ hcnq _Z