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 FF7 t$ ] Isar_Ref:threads=2elapsed=10.492cpu=16.496gc=1.152factor=1.577zXZִF! ?y]ŗXf1-8>l޷VO +҄RXۼfxAaniyV@{ ϙD0ItIXOb L2hQ%)4YkKnp"m5%3}a;u{/14mKZL(?+5Qj',58pH T:Ǭ/NU'7#_^q.HqqtJ/ Q!O-eAR_hy4 )4b=D"ԇ[:eJcu;]CZȆu,>D,t h'e9yA$cGfO5̕'nu?hgYZ7zXZִF! 1/L]ŗXi%;>`f'JMOd#+S=7l6Ɗ { ! ׳S Ill K6( )~ʯ&@h ȅDT98F1AFJ"AӺh|y~TuuǺ][FD>Y"|5pxO9o^jt>$ųji4+XV,aqdw pG캂 lhemƈϰӞwr/n(DgA:O&*{"_h,:cb˙-6P)Б6OyS'_J9-2{eKړ!>kqPП]] h*.LhzEkoxa T/5W% MF߰B抒H:}ɀN[~qUvBBR{B_|AuGö}Bi9߁/뗌 !`(ʷ.|dk$+-nK$ag2fHrcY6Tl"SИnX'꓉5#8V[?{jAP@Waww,1/sr._8-kܚXۧG;T>dpt"fIf ̄% ,].mRO-ʕhq֙M{dWȤnHOŢ c5|dcX1rpyk^$YmenGL #5/h3uѵx'N;]MGF}O8l,L}bF#gYZ9b41315e985e00ed817021ecba5b19a056f4c5baec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd3   Isar_Ref