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 <# 4D O/ Integration:threads=2elapsed=13.502cpu=26.468gc=1.024factor=1.967zXZִF! M]]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k jJWEO{;TKe輤C._A{ˡ$ *bRr@䌚"g} AF^{\E+̓+TB0x+~Y {<2d ɨ2L N`f gPjs+(OS:HMzyej4plZF)2.+r9&i}4Ct S~1_GnzƂn"]y O܊`FwC@R"!^7" |aհ'f-{;Xtsl#J}cyD°zIij ѱI1ge?TO0.lۧ8/&U6#Gkg$` ZᏤ?Y+]5'aH$+yWdPh4В"ՕN(w QCN1v׼ρ )+%y臀ŋTU ;l^5RNw^bUUD{rx9GEjjS+#iJ:c/F0Wo :_ .Gh1uT9KMyda+) .%=J # Integration DH2R\RfF+,,cKd&SF$6L1i" mB21 WLSy,sMpȅVS&ĹIvd"5TJsp4n&s*>KREKJtv_v uW#m]dYM{ Ȃ:g!Zgi?d/f (K Jnɩ 2#ؼ.v I'+#vs;A0i-*f|XUu٩eZO؍Wje+F1_X)Ȱ*(0 =N=&[x@ i[#9^,9ӓ%hYM?y "Mk~s$)^ '9`ȝ5?:I%|q6@sFqDwӲCa!Te}D3YJB|N9$}.ˮp)ΖKGp y,EcrQ@'칑@3`.ˠJjJ^hW?F Xk02^hWaX *~B}e?a6DV86~J.8R%zz=Jk%M R+V)3NgH( >uƽ\*NZ&,_D~VuiKfjx'u=`'#Jx6K͎p#5ߘ_2Ql0i0=b_~؜^ C7-O}d7 \qw>D:Q+L+{1&Kh`0Iq?N @Lr*w!vjT}DAqhit~*<]oAy֢r\<vWK_ LOMk$Zmy:* ÓR@WڼPWң*3(E>DC $xi[3G=$DTeq1OJ΋(6w!4EE,e˩CݥkfCm V¹ֲ}\Q||~kSJ9Ev l-h}\ g2J #cr}xPi쀻*MzRa$_Ձ[ a?+ߤIN'z` [1!ƖI3yC{8_pʏ!NZ0zNwtAo^Ma]$h`sˆ?܅RȎBrh.<vU1clョ 2.Pd'. Y$ą#F3k5=Aj'/y5Kpx 4*6 k0@y>ш}e}Z?^Udzļ]Q*][$r>_yƁW_Z'}F `G;`u~oRK&j:A?q.U-OHWRVjaQ7a\UÌT`NDzꨢ @\Y‹6  ׀}d${hmaDƤx7 \/Gڦ]Lǟ0wO|̽RCE.(x'TCrt;Q,#l]+Uqg)6bR ʖn0gYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 0c9469e4651698f44e3e228873be074985fc67b7 2942bf7dd02ca6aaac622f793b2c66857419b17f 5117119a178eac69d137fb85243808da2d667eaf 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd bd1b3dab8d05792afa4b1140e0f22b3ed55abd28 c6434b8f92878f1aaa81886db617f4dd64b8598c c9a7834754ca020e75afb9d98e309c88e75bfb0a e98d989b0d56b347c6ee1a9d61645ae944ef72e3 eac6ad13c503bce6181b05cbde0a5640f2e71008 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3