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 II4 DL ] Bernoulli:threads=2elapsed=10.522cpu=20.044gc=0.608factor=1.907zXZִF! \]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3@z/ƦFǕGĥ-m9x#~5o [{m |*wԹ۪ ў{ؾ%2EG9%4e{WQ,0AD!wa }7  ?oHH v;-IBIN(ႈgөo&A} h44W([}&<9aAkݮ5+!;&@ƓUe@lo<[|zc%49t=7ӢgYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLh9lIYumtymkngLpz96RqY:(1 @@UwxkXeWUa% |5t;` IXSԻ[+DS&Ui})gYZ7zXZִF! A]ŗXi%;iȜ]>ːtzcO"_W(c2(%(+JΥhʶּa30fPQ/[U=(`jtW̊dغ4_LGϚY Oj|n2!F|l!0ܑ+Z9>x)5LM1`{\T_wF"]הUs.,!>s ClJX|oqՑ: Wh|;0y%SlPf9bp0\QO=t88_Χ)*7N,% $kR @5";XwU:AGbE> bP̀Ed [љkbe=>_'Q$UNnѽx0!q"W GTn;U;/&d!Tk2NZض$YNyg)Y )60 :?Bf> 0 Mm_|J3lShش>ah Mf2e{Tu&f y+cq#:YHuŐ/ҫWI_jnOO 6kغ`sxrbXXiKd;kv*r״RaNqBxOmطQ!#!5R!hyVKxt̎_i$*΢I&Jc(~wz7j"4sكgzgYZf457dd3661071cc0607193989bd38f0a22984239273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 a2abe554b024808f20211ba5faa2097c20520e83   Bernoulli