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 -?L|L ]]Nested_Multisets_Ordinals:threads=2elapsed=69.976cpu=131.044gc=8.616factor=1.877zXZִF! F`^]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlAwTzCIq6`ǽ).?8ޓ 6I)lToOJY*yra( lAak"$*gXK9=7ԍ3Mn1e:L#8#󄏎(*y7s.LCvh g`x2hTw3- ۽Qj=WܓXVLHPc9J3䥕 ^@mOS| Δ n &0_.Wр4ӗKz赎HFzK*-Z(·L"y.I^ԡ2}O|aIyFk'eqpU?]m屎Nr!vvm%TzЂ b|q7$@>ށFkgh~@;ˁmSM>tڻ&÷\"+4h=&G Q$؈l@ZeR KSvlTtf_J~{F+rGO3Łc6& \CC ʶएf@ē4.@5Pz zO3=UlX'ЈK ui<eN6F-쭌&B 9U0gDa`eسZ%N)ZDԯbϦ_畖] Ho/eGs;%{,V:SJm \j kR]nzSuW>E`y"]O*;LfK|1h}?,"coeu@y G%UҨYXǡ͘$FԡQWƹ ;&XQkؘheu䴽ONtQ]Xz ' mCk?ODI& y&sVcJ@hiA4Æ* e9+ށ/_A̗Wrb/:Se-/ofXa\9WJ'Í Dx?dG2D[g⃊0Vxp0PY[v:Ld#?H9ݗ) J| bS~c\ьOz+<0]dڤJUt,Bnf"_{ R2IG-Ԍ!oU_ᶲHe[r+}=5dw}Pd#1U]~r4 e,]P+<TKb$qgvz{b /|};q ka?Z%3!-, sje>`7r )kX|'~t$ É.!d={-5x@Fu{$Л\|CK,ȝ]dNQ3`ߦ]DOg|seUDnpȹ+(fXh7~iAݔ2 gVljEI<#g];/|J 1fZ4oF+FD3j4-EѰX b"ͼe:aD)ޙKjjح۞ubpaXNd+&_SP-fZjgxTjM EkcKR3r19ZtW$3bOxjmާC;n-phU C `*Y=XeTNR6O]c'L,T;WgYZ7zXZִF! w]ŗXiɟ1˦r90Fn0''ztZguT~oN'h# eμ9Q(ۂ(/V) p,l(ߵMDKlgTbhɦ JcKZDSuOWJ;$Gk B6$S!}PPdEləzD:X]`9&J 6qYּtYE9o,Wl )F /Hӵi B/!J<bf%.TPHT6h2C.vXvvKucCU})h{[%(C;/tǹZbY/۪/aV z5WE@*avhĨ aGy9_5Sn o %=De :z0|fO!N~6λ|{(m{yw hY TVE:jWREAadʬ: ƟoA]4 D9zqmeJ1NZi[T:.WsV1XZtTr8*:qZѳ>4Lq?Bf@֘f6V ,ԓX~`RI2 ,jV ]AH K+Hbn@̪DJR:S pPR#NвC1/%+yi C5IfwSʩggScVzW9ߑgVl$:cQ(ӆk0#rYh]>f*WsBD`s<@ș5Y'J3Dx%B?ϣ({m@kJY?G?_l6X|I)A3M5S asqzա]b_aa&zsӜA_Jgqd[mgΝ=&&LBPӨo@j8+b=~ peѴv<^g!DZ^Cr.R ΨVX§׃4,N*3wBedܻ1jZR{n&IBSusWNυ{XLvVl.W=J2dxE;UP4ؼSYxK^FR =UD#jA_BFL6Nsn5#n?é}܌tA_"|#|?`2@w#|ƖW9\gOH-DGS9-̣uU3[aӛGĶK}Ub1qlYY-q,]#fFڥ xcpZr3x1,b ,u-J (jզ]Nzٷuo'Pٔrξkj?yfxݲ2?rv+SO2:?FL<˛'}_'2t*sVZ2{Aoθ3Ћ}.]G(R{mc"LFCM/,O_3&Og6j!DMu0 Eg?6]Zmz0sn2!HPWIS=p'g&|Pkh:@;0یϡS?͡gT֋ AP_;.J2Q50wOCdZ ,W5e-=ˆ3va` !C6,=`SxKOZӡ$׫h{vy+Q #&~V?/)6,.WPY^eY IQgomn^Ŭq*2s e8I] &`q,c[~  ŭnCr4(gɶ抪E T'Eăe@\Jo,%%T4ė?&Qb`SeqX7bW|f:)1)dL/:_>h;^dp"/?@@Z:̜0o-0wc:[6>E8܅2]7+]F+؈Y?m1cG ʤ7DZgYZccd5c19845b7f728b393c6b96a32ec0af457f00000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a1b8e83f5d2c8c529e9aadd3e637b0342070627e36ba901efab7f04af49c0109e972924d70740312