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 ;;:KtL ]/ Hybrid_Multi_Lane_Spatial_Logic:threads=2elapsed=67.344cpu=128.972gc=2.052factor=1.927zXZִF! z<]ŗXf1-/6vRZWT:cs1=n8>^$X͟@}AP&M_=6.頽#~PL*VڀHSd $&UhC';sΣr<dWb=*UkC;@.4=pCe TʍyKmrn&9ej&Lr'$qY(:S=EWaJ]XRc%9G>:k~CD#b>Dp>aD%!&!w>lTӿ{}O!62}66:8Td%[@pY RS26|#t ^,"ax @XqHjNE*g b%N 9rV,̦IqŜm7H82,Yn"qxi'F }J tszM MCxTD(=ʟĒr1Yl=e(B}x /_hUý<&JxQccAgB,hl+LnM6!&k>UPmb>pM 0[NAisO3JPCz=޼иΡxKH0hD jӳnu3`V0eV4m~vpyz[)+}ͼIeS(֦*|?mdz{;SKlՅIp7:$iJzvN аϼ ޯB5?ım4aoY] Jx( Pdh`U{41fȥ4,&{a60 rLm@g>j^@&Z'Zv MAsDn0ȟBߏĞYΞy"N$ipD#bi` 6 BaP#SQW͏1ғMyO]Qc0Db z@*%uݤhҚ X'ms,`dV_7o)4ΫPE+b 1%6:Y`s~tR]nLfML 6a G)eҺGǹ] `OWS8@Ooܞ[`*S8G}_njcq!j<%C:؎+1{$ ;c.?h&+bZQY$ -ҹ9JHV3SCI>9*z8[+nHV5msTK \zaNWꤱgYZ7zXZִF! 2]ŗXiɟTAIË7;֢ T L;cҹ_21}z~XH$Sg~Yst0. 'c%6QX w^38#5 B9=Ȗ]&,%$zbaxu`j)^QfJ; ``38yt4 _`h$Zտ-C Qq (d8\?,Gd4q\F7). JgfVQAO$.I;=ni c[M{Hǔ=2XTm&))x7sZY(Px`ZXCdggp.F50GOm*xZX.Twـ\(bu؂O+s4KW¶1Փ-A5/`9Ǵ-'O$LCBw\c `Oe!4BΖAiP~n)Mg27٣ŦFکΉ11_UH6ݦXU0vW]@YݝyJ3msrzh* 7 GHt_9f*Ÿsgd=MžcufZH1\!q0"QuYm ԾSk>A(2lf -2LFK |?=J9&~@]9~2 FWZ % f[k䤼2]=7 o(эH>" #@IA!_WG\K< rAO/q܊ ?|dRaTL[&6|k5Ț 询ACO ;)2 {Ұ.fFݓ>IB(Sp'ψx|َ٪M YZfXțj9EfTGGzYau!p|_mrS&4C%-P_V6c=\85G։ˡ0!+teɛ!N2N]䫁ˀUGyE&VR+q/&bCx.Cv1I! iu8A?Ljï35If;6G)^$i(21 tY>Ωn !]g\uYH)?׿  8``R#u+Ԝ='eg}dw q󂪩MI\Y冏r_eg'߇<'R3SAfxG '{t+r7Eڊ9ζ~Ľ? yeqF8Tȉ',gd40X yqfLV°&OqVq9!,%LjK\ Waj=O %ŭ,h(B] [+a|5{$>=TÛ^eO Q\RIlM~P@(:#}U)|oi<q6PGPʘqnf^8<4$Pд?>jMx5fdCZxn &OŌcٿͬT^Q>atty V%fM5>F(2j) !N9&K"l`dɾАUD놓vV"VJ9Q 6D{ʎ{RkC>|ח\/9||vSe:g𝘞BZ/3q6?qqL#)X5Ї &gPǦ?8V'OwԽџU?Ѕ`981Cj|X}9w |C[@™T]"\'fˏ{H8uiV= (}z̹Җ((oH|1tt` HcC|I+aF v0>{Vib@Qq \ONw0R)ZQuǜG߂GAdV'Įx%9m!?@P&uzwu8]52]znp:I9J ?Q Q|:d;2]HseoPױsܱK} ݟAǀtq9~Sgfybj`idB{N¸^ϩ$`oXQXz4ËlؠK^L)ԭ*w,Q)\>&CQ{*ɕgͽxU` ʳ9D1WCRJ vc&47 x-ѐC6]NZ4XaPW"*g39{I1UVG<KE(SO 4rQǬcb;ܱgYZ4dfd807c50f216f3844cd65df36d5d1f0ec5da4ea86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852