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 22K 4 ] Isar_Ref:threads=2elapsed=10.303cpu=16.324gc=1.284factor=1.587zXZִF! ?}]ŗXf1-8>l޷VO +҄RXۼfxAajyfU^FqڀfUIi3Y%^P/saUEYBEe˝zy3ک $;] o]uW9A}C#C0`c{WIR2umx0}4gSFz@U Lڱt`{Q+%l,en#'jp\ Ъ7xx (}ݵK\m6Bw7zL:Dm"i `rB#-5]K`?G͢ԱgYZ7zXZִF! 9;]ŗXiɟ]O5-|01 Wg9Ъ,~*e,\,#-σaxk\ܻe}n|zAlWN'f䗐caL_R%e:C 9AHjr,F.>'Ek5*-SItySɊJ{"DHX;7"_:[.&PMWcx1 PLfk9U9[e=WLhdh r)k6*,U"-,,5(KPB1Z I@|5#dS;ʕbi OհwO]J6U|s'JFm9e{Q2/ qTq _ax,ccO9a~W\ SÚ8nFAﳪ/:Xawwh-{˵zC)Ji5Oڠ Ro}}&K0½ч~A 7'y[ZSaܪ%;U9EÅ%*G%k+\B2`u>x)+-~VPn iؓyTx3:+dMCT&dX#Ѝk Z{1$lnyp!h{­qΛ^/ z[wDFEV3q &OyKx}٩t=ξb:W+W` ; wVQ),AD$ykj%\ οϵuRLGص-\ۺPM?1 cs$~G]ϊ\{'PWK}vL{,k0$7rTmfݿnNr[ev"@UoJ1PŅaBFf-N qqbZ vۼl/F-3M`{>B&D0 6<[RK-;e2w=O]Ow":V!ubM>gYZ35fc98d1f6f685ba15c33c02540098aab862c884ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3   Isar_Ref