SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 EE(1 , Y/ Concurrent_Ref_Alg:threads=2elapsed=12.100cpu=20.328gc=0.440factor=1.687zXZִF! N]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬Dǜ-<υ!n/ nLL?G-!PRݏA.u?Z4n_ڎ@QvoD-mÏ&4R)uN(OHN.pezE )lFKrxĂX C4*\~!/tڪbDL=0_̝A@@)&0ԜSSϹ5Q1Vs3 fxgͫ(X4a2 !Q4uZ&1TxiBXjԙlLFjd+ KZsu KNjv,Z֒;H==($fV:Ldⴉi?h2P ϷGgzVEkG54YD #;!m93J!<8N,$FR/v02p%QV_r_:X.R+ѐk 4MJvI@ &3G v(};L2OM}-s|ˣ-rN04I2ulő|mݩRH$>4h [. R4qT%>q KmU%({ߥzT|z\CcDWO7#>d9&¸K}kAw;%nc vWO[FXx(v9](e(z )kXO[:;!H7@9EIî=j#DW7ٓ8 8Ch2X)p"2|Bb P,CNU $oC;+p#u}36K:]i랖i{5ض%6ĕfr/Jo|z3> +'L>S^"4ՏnN5o9 fbˆZFT{nQ7 Y=O[>T6{$oiwvM+K#J>B7IQWGZ6W Y mgYZ7zXZִF! F2?]ŗXi%H#}I\qöuE:i#ـ5l7띆Ȏx_mZ/0Eݚdm>+=o)!^mB֛4֨>( (ʤgQm>.M /yxgoK@q:Y3T33xVvi H)L'8Y7SK%~HD|:qL NyUVz3y{ׯ7: r.\82ElO?GC~f'o\m NnGy%u%UCYwz:*9'1 :y4P?:?$xN.Umk |QLlm oxFx*7gjkGuyق5Ce5Km#fL"mdގ)߮Ȁw\e"ש^7G7FL zp_NC10ِ8Tg֚Ly֘ғ}}Q? ?E/Ù<``?r