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  < ]/]HOLCF:threads=6elapsed=12.383cpu=35.568gc=2.040factor=2.877zXZִF! *]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}}7g*Zeԫh )/";-坧R}%$oH8p=1\g¹;8ED$4$~V-5BPd~~&˄ x0Y#-^ʐ*7PAi. A%^I!d ,YxY2Q{17ecz ߪoRңۧ^;taH7(" QŁc- VyQ})˽ebZTZ% >կj~Ǧźzh/oYc |UBg2Ύ[[:!/ g(dFܗ(>43Ч*_R6r')qY%daD@ڕ@͉O1fZAsz"zqw Y/C;6Ip7tx?$h7MF 5$a*KˉNgÐ%k. {ƚ]ŰN1lvk~NB&Q8p*}H44RD.~osP0=%;&xX_D o&ĸH8B]cZ: 2" >:gYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]wNg46SB^L{bsS[ ?~u6KPKKFzqvq+{Q 9TMaj>B^gVfmk-5MgM4 (/}[L/ TLwZ3M@1/5gG|#% ]u`Y\+қo#氠-h5f_.ZE)e-o:k.5NK`藚?t>@±[F 1 ~zBpn@`ݧLymQԨ|s]{-n*IBd޽Epj10 ]<#]!匏# RIh0,-foS<8LZsdVSUgtRGT/h96/[]xc`E{U'_K`۲RJiz"@͋}2~ >m$ld?c7ոgg*(i{¹o/Zk0/SCt22SN&bѱgYZ7zXZִF! =nC]ŗXi%;xa+|q۵-8(ثw8YhGO¬W;k-}wʽɴI,a2懐VrPe$e6_7.){hI=l)֩u,}pOsF<#a5l؇ $vQ-EMsybqQ@o'5*~8õV]ѭGb1?QΩ1x*08lo6X| =oq3<%.ˍ$>IQ6B~޶qr=Z%gNϐX_s+D(e(1/hOs1W"!ta5E@wjNb[;ɹ+zI.rٗ}CqK c3b =wE_OlVƭyXNu*A!4\7HXըv72lnFD133sfUi5˭ڶuVV}m/L)18cGtDjuȖApzD85qO ; F Z޽jW2BhOUƚ+=BGd #Y:0iҺ[(Q2{C8 7%`66azmu'0CIo9I:n% TH}0_ -P"h:TcR1icS 5 E@+D)Y%\<\ *ԓ dpQ_ا@j_7lUD+FeaF~d FcDrDzW&7k$l h57GiT53Bf :!#}w»:w=cF~y< 3ך䌍k;*[jZ<;q^qPbZ,ٿzogΫ