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  S= \< ] Incredible_Proof_Machine:threads=2elapsed=43.363cpu=84.900gc=5.628factor=1.967zXZִF! IzF]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S|/~eN+]TH^ OOibU67n L t )l+Y"mnmw !j#b7=ؔ?:&u栗!0A+yCp'j-YRi~ Gbdز " Z,UY1z}SPE`a=Q&f2͗ k@÷h `Pw}VVA wh]{S8ՀP޹yrX'} 3S&›E"d fUt];a`MyI3[˕21Av9#J:i%R?O[\8_*IC M?Erl[p3NrI.7͈H n vY,) KD\46M5)|" نg<̑Ppr.#).'oŋٕ{L^.^0(v*;arz#h'lÐ9l='ҩTҦ1J-4 3ȫklB +WqV?bqPqԥ7t_*S0\G uѴkdҗ%Ibl~.eRH1u@ d yCʯue|̒g$qgtzz6#ݺ—tq{P ճFuF [bB/{DܨƂfciq^q5nNՙ ":̷;:r͙sz6c|HjvM6cθ' d/IU^oi.^TxMAhK{\8K9^k -%R4*8m^IpDz%t[p?cSű!|]XS `Wf9yg9D{'ϱ,GhlgO:_&zw^D IA6JkY?Q=$c6k+rJ])\)O4ʠVǍEKc~C)Q\7Q_(5mUFǠbf9<=baCv16Wk^v0 = Incredible_Proof_Machine!lܑbh/(09Gus{NDZQuҮNs]2SLw9,}fַ ć$89EӉ@ɞf"Dm~׌A>_Qٚ*·}@#F^^.nycpMY{a`٠w(B's1n0ko!9w3'b~D0?sc`Yn 'q@>6[thW, mAB$!wۓn9/(e)A_QX섓cRœbC1ߥBxXVk+IypbA d{VʱgYZ7zXZִF! ]ŗXi%;i E7-6{2!\Ӯ?pi<E)5pqX2t2\]/zƔ) $[~ZϠ:\\vW+Xj?2}4$~x&]\Oy006?Yoռ8 K݃xi@*$GT~یdymKo^O k Xc#HE]A~E'Ꚇ++ުksj{aj :3afGOl5wZwt]OWPxw#ۻ{ҍuCT3h",QؘUD [h pV/=Y0c|14"Y_) }Ыq|xedZ+t;_H60O^p[s5|GO'^2=Oۓv I9~wŅz~@8Ty/m5+(va8Y`=܇'-F1y(%/אU"#Mi7