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 ] $D\ ]/ PLM:threads=2elapsed=33.009cpu=54.032gc=1.960factor=1.647zXZִF! (]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~SN3~ "#ZzR֟`!KFu2"OeӂP2g[DpsH 7ӻ4?Agh>E`̞ژQ쁱AQUb;4)y %]O>-> U}:N䛱2? Y40gd>+ hu {ەXΙaq6yVp+ޯOQc摀vpp]g4_u]U. S_xD ~ ?uv]] 0SJp21'f'W-();2`n3BĖwa`c?!&:.S3V&{6wgi7`>PK+ԐßE7鄷ޜ12q}ktQFUIg"9)?zصS)s Si2ǟx Y zMח_\xi%T#T{)o |sg~8W($w OuσȏE3/l',2C5 @-C|$JJ0tpvQ2؅uXw# _{1#Sj׽Ȗ~tZ{v>MB&HOϡe}W,b!BJƸ^ c,%ki\rLTGu婫:2٩B@d>GeZ3;!yR̩M $_49\&AZ+v cRx8e7P3Vx1a4DyuU$4{fmA^gvʏ*{4 .zޑ!sfRKXeK!(H@Z1iv|dA.0Rix1?Yʖ\Ɨi=KWOaw l{PKqG,O6l;dF\]J(ٻ4mtOwj~rKWʄ!% YIk ?{wDYՐJob6zVZdiT;Ih'L~Y\Pوy#GB*Ǥ=\"g?WV1;^a6{O]UcëJbT0;Q!vD'iµ|!V*ƗN9V}7y>R|7Lj##e4~̛{Tv%P4=6;+Bd%zƯs9Raof؎Ds#0m" !J!$U_+Hht=v_68*}!㑈v>| ;9 YlS:sQPe6'?F }-H ~hfn:3*'4?<'l/ׯzJtwɥ2 c4CX I$$mRn 4@8J ݾ3Gha`;fsnӚ> k9Ck8 \h B$AAl@.w@xQoZ?gǮL'WvF_qKl,EŊ '9(f蘧 UF%WSwLt[}A|(ip*^Q)]CD(0e!D_t =پb Pv [[4;GeP= ρ5}nMRd"QR!jۧGe@hxShTWhQ_iBMw'cjY^r!AOXF&"]"jye'ڒr4븊ZefFs]T9mjŠ þP>HM޻pfvUWlP偌oD|'q..]SQf~[xϼQ1^P;RoyOn3k 8|S/1OncU!#kw\7d)y|"Gl _ řY Gs{%bw3Li:~hfp6 ]8 vBQBnHj3c4mpTdJ}Z狀 ?c"ք?UEo/Ǔd+FH7suVccxB ຄ͢rݿ֫a蛆*>bC׈m͢VF EǍ-UjV-;*a @9ӽI`RE쩏q%c꤭hU8(dN(@(= CpC5ZDv!ze /]p)O>W8b{WlY"3hm $YK# :f{< |yjnέR ;ӓ;h禦ϲVYrT'9y}9 @];眰i|ĝtJ?G\h~-2B}z`%! nnePB)paDgu#9B vped~g;).-ojRg ̹lO1y3Jݞ\bJ(i6 3䵪k!Ϭ`C$&ps~4gYZ55c71f77eeeaf3ec7df4410aaccd4d27959ae7173bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e