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 Y; | ]/ FocusStreamsCaseStudies:threads=2elapsed=30.239cpu=47.992gc=1.460factor=1.597zXZִF! ]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[yr<Ͽ;%*Kj!sAuyd&d1?o"}H`O5i}JV߫_RF{8U=6@8n~)d Jhz࢟bw#Q: "D2ə!7!oy/[dRu1NaKq嗅 聡gI3Nz.6BOj2cۘbɶ`3UbgYZ7zXZִF! :]ŗXiɟ/L526غMp9έ!sWC; d/4^hi !-Ok;(-: PlIISiV ؁XpR6.]t2n9b7LSDXy ݰP\:?Ca&L\T1 ZLGtBB>]6;VXRDW6vGreFl|m% Y|qN\{g/ns]sRT_ǖtZChv FgYZ7zXZִF! ]ŗXi%9#qq xx qADcw u$c%DQ>P6͖bsYuf*ƮH2{k/RPDh:&7Qyy#r9)JSCւ,5(+/NwtZib5m?d.\TC7('݈Q&XuPd:l2H{WYu[fi۬ͭIEddX~urdv|:ތ?:$?_$F9i 8g<4l1Z#–`N!Gѯv@Ό:, -_'xnliIo*N\U^[@Zrj&#_SXl [2}-yvb;{]7QaO~,6DP0iR<h-"M,rd5CX'MS K^à JتE睎6mdsp%p͒l2eM~_%MO3P7#3 rBaKCb e' D"V-zrjC᭄.(Y.FOmux \aN;Vᨽ (o"$zNR|X9*h=%=qITm1E/HU@HxclW+)N.W7v% bt,rE l kxv<,ײbxhrēy܁ᢇ|'ԑ\e :5X@>Bƈn+T_\@7|Ub%3e"7|10ӈuWo'cb1%J[lԳcZ\;~ (+%(I RX쳣@07+;pquBwLNU: gxu "d҆faJ1we^S sNZC60D?bMr;As[0R§q/+qI 3i^Op!@Aw-~p^٩HaRRTpi-TۥY\sɽY:ӗ[ub$%;IAHOI)`N)ERfcDn]lY#y*ǬTߜ>AHZ878G'&0C:Ď GcP0=X<{' hJv yAq)̉lU4:77]^֓AzEc14 zo sP拕.V?<|tVDϫ3`QIAtAF}XSc׺rս*N\_ᙫ⺀!w3~g*5MP u,*b&JdR59_g| 1㙝Y줖ƊhstNż!K ܘ -Į4|nxMmB38ݾ<3jzؔ/SZT ;SrY x .C\GisIjjF#Dʯrcuq]ƒ"=Ahƶ@o|d#f7&ji7њ!kbG*⩅ÝbQvFßCҿx`Y)f&,ERl*IQ"6߱gYZ5639232b703979b55baab0a647c768c6c48362d88ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a ; FocusStreamsCaseStudies