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 ii LL< ] Datatypes:threads=2elapsed=37.523cpu=56.564gc=4.688factor=1.517zXZִF! :]]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hw@5֮-΢@kԔ@רsR{+`L]RfbLGv ~rb%Ԋ/n<'sUŒ2Myd=E9^WYG\J'~sIMm A `isxґmqz9vπֳ\jܸxA ' s@֧ qU$+] L)1Epԫ`ib^;kU ʑ }~=$}dj:m26;έKҁ{Gҋ IkɭIu~e{C Vs > OiS𬖤`8_6m Jf 2e*m>j`|M}&8p9}N%q7cŐ@}c$uS "[ߖ/ڙ pIվ:92hs0 ڵ%K0Ɛ }ZB0|Wbf=7-h!0qOp),LlgYZ7zXZִF! ]]ŗXiɟ&zLo8TX&Tu/,(`xqA%7pyBYgYZ7zXZִF! ]ŗXi%;P,lF?뜙t0w{#~ {ۨ*hB ,a`t]_s.H瀆?B/V 2> _"#v2&8tP۶b_fߊԱӌFt"RF[zInmơF PDF|;"]X:kg{rIORu95ـ,7dEڹnڬ41I>I6W7ʯUu vsq%?t.[6O@3H̶ (<0{!i Ņ<,Jf3ŶYRe״_Q?kԧ>YBrH}zƾES94I[1MTHnw# {ic/4 %@̓!T15ek̉x=FomTT5_GR>K+azӬט=мIҼku-m'0uf4yzoȡ4p?zDf%fw Hu3 O쥘}ΗPj|Ŏ0$M(Y_ L4\.YqeOQNqn E9(B 0 hF9jd8'1"d/ Up z(T#v%j;n=5=9"f*TY_ެIeMܲZQrlCmEҵxgahL :5#ӇgnoKyq4^lA-v*MCMpq.y%Mw\!Vfq `kl \ZY5ĖKbM$JbJ6?ө5Ge[As**u'XCpC]:}m5Xж\★SЄ((e XKP"~CiX#K^=MaOJR]=6Z')M s]M9h< x<^րLЪ//ƏwHȢ*Kc芭-;{g̭ب(kOm嫓?(9S)ftN-'