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 hh1 |D ] Separation_Algebra:threads=2elapsed=18.678cpu=31.112gc=1.528factor=1.677zXZִF! J6]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 XKR'lVG*t ( {=&$ U1i@wT]z)DhWd]µ~8u9#Mͪ@e bn"OLJiڜǙ3蓹LH &qbGnjߎth'bT?WH>P t{!euje&V↊%vfdB_L5X΀o\ {3TO8 ϓZgY/FKѴ_|cp09>8?#?FQk*Y.o UOyAu4!6J48\ %E*9yX$c]܆/WojZM8hֈ&ϵ̜]Q|z;D8yw\IɮB۳KT{KҷE\#+gktC# "gYZ7zXZִF! ^9]ŗXiɟ1S:J'h?H6 #G7sx,'R{]g<ԃF'' LuG[AZ^зHou={[1R<&ǓZ>Rau_ܳڭM07+׎Xt<yvqoh_YFooRAH/6_ 1問+>^Oe Z(iFBA5No'+yx+ݩߵM+C3dvO6N@ա'R]z%m`IB.VBgYZ7zXZִF! g[]ŗXi%9*]Yͮ{pg` ,118.yx^~oC$CB 4 *"U)6_8iB-m[}oWXSU?w%\҂Q99G;S?&fjOyIuQ4S(9__qiyZR‡2)@=ˢH}{oDbV2r$n/T~ {]NK/б.) ?]_SNq~RT "V˰JFZڳ~j~ޤ-wYlM$-'~&UlA"~W@M0n}5?~gQz&+Z!?; U=J q_R=5ݞ{dMmVE@Dj(kVBVB۰iHP-CGrR}SMj1C`F\JQ~Y:,"tmYкkY'`hXjCcz._0\siXFTP6Sng'K3ݳK[]V]`A qkt 1'WKy?!ucl09'C~#X')”o=:EwYĤ;KxB2hX+DCF"q /u,l苖֞=x;YK(dJ83(|Rz7P(6laPˋ>6CԞ2[_&M '= ;a8Np¯Gs(ZX@7UeӵXҏ~N/>Ґ/٧f6ћr?x24FIi&:z/sx"ܕ5*hr3PaTL;ul(a1hm5mDC*е$;LeHYZ͘C?"=VpvB2o~{J.5Hר5: <CQi5 - VX6d|$ /L, ywrLu4'EmM;AL`s:=,#hZ#ͨ.JQhJo)i:q69j2ÿE/@!|y uV;AQVV|^ o7Tv ϫ±gYZ56e928fe6271435bb6ae9e3791560572e3d15c4a325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 102d99e3f55936a8de903efcfef2f8a4fd518734 1 Separation_Algebra