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  !?,< ]]HOL-Computational_Algebra:threads=6elapsed=34.617cpu=105.792gc=4.660factor=3.067zXZִF! +]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AKR 7x*hZO$bٷR\G/D7*@+A.OAy\7W7}9 X"plN~X}inu|Rvˆ]^Ĭ/, p:ޤhA"8%pՐIBls:nZ6"`v8ɖٰ݂G봧=U 0tD>n/w4a#>y4>Fa]`/yD8G{Ovs ?.lǎ>?-4XAxV[xg '(c(f< ? HOL-Computational_AlgebraZ"ibW$zNvK<ьKp)V$a2A"vܮFh?0-({2k9̞ =v2OrUXıGI?GZ=GJc =9_& JШ wܭ5]|1ʣ~.1F_U5>ia37FwGnZPzT[Ne Ic n#I!ֹ[]<:zIjYT!0_nӈv3nC=VVPc::)]b>5r넻>Ԝ9+ @ w@iqjs!?Zv QEsHх)m{aTfo:o/oԎWb"ƠccU-G zs󊶆}vNj]‰ƧWkAC$Rc_[B:&_T;UgN)D"SKStyI\<͕zxGAoĠ"t6~}E` 1]tx.I:Od AgYZ7zXZִF! ࣥ ]ŗXi%90/2ESł4y57fM{JLwumi¯LY%7Dzj#WfW許XܺUؐ`Dw&?pR&zj,f hmp!B!LhabJv\Ly]ТÐP"[ Q_)A!mnv̓/E|} HYVm"}JW.ZZqzj#UÖϯ`h$P<5z]DudNBiXAuCzahomcRЭ<< zy=IR]\Ķ5e |C;&Zt(-#{S& _4@|:gp8pxs Q ajˑߐzS?̼5PDXGV$t~j_ AH|{26a';!L 1"B&P53ᄭzSW@}=~s M=B qsZc P=o=N{;-ϸ&'3"yH vdz BY{hG4ҩwPEwg^oWJb3Q{m Ŭh%eS$i`5XDҴѾZՄxKL=ٙK]b2yTVm`Wg<6nƆDRaS"7} ͸~;e vX֛9A?c H?>suyFlK pgxuu*6QhbT% 41W%^;/}7ĭ6+dAfե6:V)1ZD{*ݮEc՛9>e dYECk0H۽f{uGͯ~#lOM4;:*mi1Fa<{*zZI1AeU  ;T!+~y" t N` 끶B83HC^+ ?hqH0bҬ*Q2_/߷I' Lj/rEVB?4`⮂Q4 M b宕J#ɑmE61f/C^1/d9b]Ɯ*#mBo(=ObJRj÷C"xiCA.Qŷ:*tCm'紙Y{5P;4-:+HJ>k„Du|?FA>+33 '!:!Z&`E,*|St$9 g1ʄ6FINk6`h#uk:/!PffS!%4UP#浙L;0>XuQ$F`ŭL V\E7XƱбCFWKK ՟C˗YF*و7Ԓ{7r\xSo;;0Iz I>|׏P*>JA <[`IACXqM98oqT17efp&&Ňĵr cGAZh1]=&|p$8wƕPr 7@^?U!Sp(.x5Kxk%2Lk-Թ4Ui8X+"J3 _ކFXVZ2BE) m5+rHZסiJ-9}a'őcOcxRY"$\9Y}lHsŬ' S3yԓjA 9Ov *\$k+Ow+3:_B۸v5KХom? (Eo9/xlgpS}=M%8YGLuڕrp`ti$Smr>I@Vu'v32v<5RUjr^TE^v{o aPc)߭N5VA]q#])m##'zNg٩]rp`L Q-z87ml> TiΤ)taXJxj gGJT(EDIC[&lx6aAUx.`q1u8׮FAŔUjy"Diӎ