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 \\!# ,4 ]w Minimal_SSA:threads=2elapsed=11.856cpu=18.592gc=0.436factor=1.577zXZִF! YO]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@٦íce^߂<1Vwͥh ĶY$_7>n#*a̴Ųw|'\ .8v.wf.1bCWeNg22}ʓ9*}w9m1#Ʉ(EdKDs13NR7_Graj׎;UMD/oܛvN mkg݂fVqMkd>ЗgYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.083cpu=1.780gc=0.000wВdL3}^}YZ7zXZִF! D]ŗXi%6SwWtsuH'Ray\(_*2Fu1e6td/w-9\*cD/tD(m{@gl٘6Y}tdG؄`j`]F~2Pv/nwolTn1[tt^eS|wgլl`ٗȯӉp-# kρ5KB h}iE(67)z@_<%nF\ d6e5 *52f,_CQf3^B;"ٳ!HFn\d0!C+|w \҆ ƕR~ +r I)Ho`?<놶gm[}Brq BoU%wPC/Az>ir6XtwC:{/,a6vÝ4OYu@3IQN}6|[Lst0brD$zpx!>%sx$ yUVg]RR ܵ^tF!h76%]ڤ[Lִx8{!qh\ED-OȔ( )jq>-9 $,Bg5l(6f+b$$1nU8f•'䕚;UDnՉU(QeSCGQR[EYznvOǽXT Wqyr/`F_XY"6<+;Տx+E=|'ǡ oE4xʴsQIљk_RMs;W !DsJ!V2<3Q:(p