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 ==8/  wS Old_Datatype_Show:threads=2elapsed=10.752cpu=12.316gc=0.392factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$2;`?Mxڪߠ< ZOJ03"IlV2YBn:w"w3taOc:xË~خ<`vY(YؕyA|k5,>˿Gh-6 ,_}yG_ɫW:X4a\ZY`p5;?QBFˎ-#b\16b8Kɽn5," $-mx!Һ\l''m.<ȭ8.6~mlHkSۥ "g/FcTwLYbM#Wz"2=1]VAf E2sݮPR;,ex.ИM:j(&5 ١rnvccX9OX)dە_|*c*%rNN(QAdgYZ7zXZִF! 3dB]ŗXi%DQGcCZ6Ψ(-:qAeܳBIv3Ex;7LŨjq1o>ԏ9ӢWDLJ46-ѪdVܜgI\Cv殎q=4t E=;,6 h4|S[`z<{(FXIjIDTtSt)r rȢ~5ᕗU^†s}Kv+( / Old_Datatype_Show'l9z|$]mHЦfÜUr_mM$W7oXM:Ђ/!_)Za0.E:/- ʠ;/ 췾u|3}էoD*W{|KM3,mo:4BxCo+Ԝ&\0u$%Ksn(_ ϴbI\/&j~kAN8r^S)`Y򨟰zSj2!d,D8ýzD2@s+ŗ_^ ":)͞KB'F4欺PFAs{!so,~-(5fD֣bT+wǬ;`HgϑrX^yI`¹P? .$:8ko$:6V.q{"Zά!n7$/ER"iF)ۣYBLW?>!>$&CU3 W̩j#g;*vz{z>2x7vfZɱgYZ13305432bc3653e20afe426f74c9f95e21f296bb 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 aa0c441ad310dc5f1ad9ed1df4cf22ac0eb3dd6f c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6d7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f c9c0aa15063b4a94383eead4a8813d8873882c9a