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 - \l4 ]w]Stirling_Formula:threads=2elapsed=18.331cpu=28.976gc=0.844factor=1.587zXZִF! ]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0"Ve0@FBU,W)  0 (f];b.JcrWR?|D aqΌM@s3<6i@c8O蹝Nd3ee?F Aa~%PnILU;<9qoR{GLBl 5{:] N0]gd׻P7XBp3]VYXC("ŷ3ѨC y ]XJq*&gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLټ8ӽ1-F)xEeƾ4;?_ IsE;(\ 2Sr- ElVܱ% 㓐B5[2rs"|Ɲ&Fdl3zC[!Le3,q U\OFeIc B{gYZ7zXZִF! bS]ŗXi%6Sr֨ur@K`]47s:^cſ߄Oʫ*oe ?z洩X.)079:(Sx՗Y2dS6'x:0q ;}Q#tk9\I4.)p)r w?0puFm:lIy>րI?m@mŨOUd˵2S Z%\%6PE:$$>UcjTC U!5s,VK*{ PZ ь/r ~e̤(yx@r>gFD ~jnP̫XCvebjp/뫢Sm35=++<19 .7'{Lqcb}y; (!U7mNa Cr5rO@lP!+M tgȒZ[{#>T2u6)v*!arRm5IW="=Ko&X#gpflaJQI]vp55QNIJ0sߣ˄{ldߢ.S]5[%Wd)p*c,YypΙU,H;tj<˒?t?y,S.\gR}5GsLð|޽n: dJ!dH f)Dglq}P[)wyG~R( %x첊vZdxi8 ? mb;7B7?>6ȒLE1)"b)Pt3'ūL a| QxG[u ۡ{