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 j3 d$d ] IEEE_Floating_Point:threads=2elapsed=26.058cpu=41.460gc=0.788factor=1.597zXZִF! #*]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwHdx?^eeRR`Vraő?#1djI"%pg=; ;W7sV[h2gEً<4NCNLsXH@w)Z8;X .Wn=C5ĖN/%lƤv[6(k*?R-j|= sϕMcW1mѳ5r (>IPQW4i ]3:E.O_ T9:{׫ $X|ݿs*%0댁VFg]?agde_|*·gYZ7zXZִF! U]ŗXiɟ h]|)h/zmjd0CL/gH~?yC dar_r'Tm42_--KZ><]!NÌX팴1q)rVUWL"2EOg@=ggYZ7zXZִF! k]ŗXi%6St;k5=0PcLqSȏBوx׆s4ϻ-Su+ChBpE0'Z9S #];0g|KWH9ߨh]K;_Nfv_@Krk{1 oKRxr giI_μD:1i>!J^"xZDaPl4i 1]n =%aZDD7F/K*8dbK:^ 9Zotr)[&~/Ah&3B)ZW,s^(MN17 aEOR|KH79ݨ%pgKO=c1ĤS:Hv|IQ&% b| ~G<<}1ߨ)B&<3#]6q 0qbQ8 mrl0e7Ʌ ^m q!NҾ(v^79]In/c'r(KF"aihºj@aG" 2h_ }Bobi9l$"xu3" ޼ 5~=Y8 3 ;u]"1ͪ{) N30% _hR&,ZC! & K*xV>ѨVK;bS$ytͬyiOR%_.T~Oي): i_ Z>0Z YNB92]F>"rgGѐFkcsѧ;,H]fهoVYk` CD;vJ6Ȯ 0hA0il#uwqrlXn\6*KnːSkFic"=%nꐒ\e2"(mR8mCySm6WxƔaH(q, #NۯB2*GAv;[ MtZ*a SRN q:ŕ{U P~"@e_fyN,-xF&)3 a8œߴC7,GqRDwFj`#ܦq(mƔz}% 0Bd- m?'7}\K oKeF <rܟv{+K!Sj'#`@MNmUhbM.lFOdWI&Nj bc/߹>rT޹r50WMV+{WU髢;²G̤( ړ[Dd#2y) h]' |c~٨h7 |ǧ;op3+ 6`C%6-&iJZN7+NTnEu4%ڤg-` VtgYZ5908acaa60eedf1d09e060da9386af8945a0f17ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 3 IEEE_Floating_Point