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 %+ D|| ]/ GraphMarkingIBP:threads=2elapsed=20.219cpu=36.228gc=0.820factor=1.797zXZִF! N]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH0q92zPd'oMBhs|AjNsҵEg>G#`B ǍF蝻j݂w1hEaZXDžU'oWpZlM|URB1x6Z_ѥ].О|_eK10ejy&y,VhvOc9Er{hJmІzH崭D -0D ԟ`g3p, ;F[D~]d0C*=ӦT=?d3hR.T]/uaY!˗{Ia7BmaY]z8xGclA҂SKerplYm׶Xa9mHBD;)鶺2)^v׬JʫDqЫ`y/KNo0!Ta?i]*9eZ;6ʺi4LXt*J ~û8 daB>]!lLQuvlj9!lE>Jt,aUgYZ7zXZִF! 6]ŗXiɟoptB"5`'''?D*$-1%pL +mr}+bfǬ8MHݭL$-ѿTkRTkF:.UC`fldfxv 95FAbR&sTdJu-KΉscMn{>/l#/=➓I`1ڿgu[-iDߺ[[a`_8CJ }?֩d|8"$>4<#`Fa:Wh.o8(gYZ7zXZִF! n]ŗXi%93` _N&wq0V$h KzTm e8^qN׌Xy̓C)1"G<*HCzifSD̥gl)4ڍ o3Oq(fd`F,Tt[6?5چYd枔gF4c =8c'Ş!>nQD%.#AAZ_]'+'Yh%'AU+';pxHliJz?Lt'd.TК՗힖lCIe)Y+J)OpQRR 1*s/5);Hw47q~P (>5٬VlC bijmBN{ 3xj ܶ:zdƒ )MHPs LpphdG ~D?."f"Ϸgm}#\ߧ/5"ai$b_$fMۺ{X;s$P{զW+&hQɒuff=vlwx떈86- w n)cI[5=N[~%ħY2 b%3 16z&` @뛈g_WzU}/lܪܑy 9w(D_e> >B V눞Ѧfez싏"c.w3t5!M: Nkf[ǐ%^c Cē2E/t%J`5fؑ,/%#RluQƕ狶vjlَr_K$ &ĺd{akqo~2L`4>!Zr $K;d˭( F/`u*HZЭnm;a>b,Mc$4ێ[̡&HtXpXa.U,[S lF9ilmY+&\gp̱bL )Qez,8VQX(T2MCE x-Ud-/o`i[N@^efVYAZ# VƗTū{FƐFV D\IeV921Fwn;yҙU؏W N_ e$9zFu2QAݰkM;֪[[mu/AbwصG+5d{P&27mXfP'†sY53CvRN߫Ihi<ҸT*bpp!~JAs?H]N.WF&P K1h%^?^ :wXVgx