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 f Ll| ]]IOA:threads=2elapsed=15.468cpu=29.616gc=1.412factor=1.917zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DS;;@ fxn}|"sQ6[>ķ.6 b.A=Mrg]e5=Δ3aVp>I2,?`t˿z}a&JOg%<'(6zܫs9_zЫcٛ FZ Nj[7VIĉțzG.#Cw#KEpXk[4Ӛ"uEK33sdT>c^`\FQKG| _0v /M0 7<ҋݰM(9uM~{2>nXO!XѤұudC{h;}IۋEcG3|%Yh(?o?'"1D+4z}C(M27(P#\›^Lt [p4Yl@gYZ7zXZִF! `m]ŗXiɟdNOY&>L "#J1B7u`S&EzRP'7F9 3OsfΖ݊k"ԛ!nE=.Mb'Y2Um/wA!4ifK'&kvڱK|EIEU"Gƅ A,rN2ث4mopPش=PX~ۇ".=&H HޱgYZ7zXZִF! Hw]ŗXi%;sGv8`b #w{h!I|Cؙ)r= xU=* SYB [4^`_DZ3ZXvk"S 6am_:.Ȧ-<k #Ǖ{:nz䀄X4@_{G@H<7ჟN٣M6GjNkV$&ݍSh V;o,S8/v O)~#K+%;4Q^" pTSDh~rٮX䍚x0֟씇߾V6s xKH\A(%)V87fY>ȶS?em 1%PYΉi&[瑈xKc/ag GD4EP2?ۃ*'m~1̘_sɌ73H>RA#QW-?[?A{H<6bB}P^%;nt,LjYƯy&dUnq9 jLX.䱷k~l+#&RLçkFUNC$p%H}䁳Ύ 5\7|(V`%KZa }iIB̆7&  4DBvf+5l?=t!9;,8XRu賬M{ňya0n|dy6@6ڜXk`k]2 ckzμc/&if JSԆۿl.hrY3b[Jv'JK;lU?qJw/l )^7B?sd Ynz.p7Î*EAʒH97H.''F$pb/mm14We;PtwpIm~A5m=_mtewx?E v-ύLx),%Y(uT݃þޛr|LA&V3 D18˜ ̥"9" ӑ'gYZc83c61d1a09383adb860b850be1b24783d44a3665854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 2d62e87539fc2056c7097dc39e30a573e3bdfece9a4034219792476033628e02b8f97368151786cd  IOA