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 v3 d$| ] IEEE_Floating_Point:threads=2elapsed=27.530cpu=39.988gc=0.768factor=1.457zXZִF! {,]ŗXf1-/6vRZV"3%]r> =GX\sY곤rhLf5%d))޼a8l$S9-hGWUm\4EoQ+ƅ =g,LQuhx>4^@ \S9>S]XP@ пЋ3jقI}@ara/x ] ;-M}~q!,_χ~$7;4+A8!5irTmxy0!Y3hH #fPY>ҳ5Q* s=׷h݊9Y٦ ۜ6cE # iw.ԥ7Xpdr'M}!PsEkr?5 O֗jl_RF.X Zz3|4Qq9 w9%-vf 9n;kMT% zU)׷UvWKUM@IژdypnV}Uh1YȷbhwJl5ȯ/VۊH&v0&[d]C댋*2gYZ7zXZִF! U]ŗXiɟ h]|)h/zmjd0CL/gsR" wZCftʲQGIN<-;+dܞK~:GSE yJ%jœ4uev2+^%?KM[_ǒ\ gYZ7zXZִF! ]ŗXi%9(OUdv+/ Ru68=<+%j !#ind6,g:<1d4oT)y21ݸ1a ºAʷ<ԍm L <蔲+c𥯚ߦ "ƞ(N쾥> QѤyCWkiTNJ%Weҍ+PV4Z`wBm {li!G+Of rv|z{5A5#G( 6}L>_eyyR'1w |(St~o8 e=/RY,HKI1 55 yv`an ۰  {9HZCCkqh;TS( H}ﯟހڛʈ*tWElP؇R( -T G{!1n?c]F\'1|dK^2lu >1v14W5NߊkI -p ǥ׫B>` k+|GyQnJZ\8t13uB^.`;}^QJ!r2X<ڭc8]]v*Kߙih*ziF7օ2eK>/3!Mߟ{#eGA 3K8d@gd%p W CǿndĒċ:0̀4/OZiN1;D7$0-rѹQb^ ͇JaEڹ-``F"$eC=!*ڛK^JG팫J羏"cZiSw fɹp0L~ƺUkMy]_m$3=| Mp&o{a%N*dȪ i}5"f~HNu{o m[u+%g_TT~Q=2}IdӔHNkBX.u۱pN9赅)wwg=xTM렂ŵ`ZM<+$(oطE\D#5&V&@;ZXJJ7b@ߛ'G2>IƇll2}KlÅ;'QrC % 6snu9//lxFdhlF$΄,ױmUa|ͺAH0"چbipp1d.!ŧYAJ{5G[kOkqLFFr#_De,P 6.G_uǢQ㰄 ן_nM++gpT`7~= 4 8GcqQwԝƇ-{%Nnc=Wt9wKy妏d67Jv..7 =zRŬ\f_ v$Y5KXHIğ@ Y>lkQF