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 d Ld  HOLCF-IMP:threads=2elapsed=7.266cpu=13.952gc=0.504factor=1.927zXZִF!   HOLCF-IMP ]]ŗXf1-q恈N|5` 6y}P7(/H> Qw\v0cIh-5#Vlck:iܨ T1VIYVٍ&EoG:5څ ^RXU =1&7z8yѝCN`~K"ʔ];B3e bP̓CNmKʶgPmqk@GTy'ܦq'[w(Fw #EL&Jj87OZ_JN’W褫ɹb?˲,gTνy LQ~XYɳ]f9gT1=1"JEa]uq)# O#gYZ7zXZִF! # ]ŗXi%B('ůbߡU,q]^y_Pn5jãgī"F lCdE*` &SEK10Bϭw@?]E9&Q [Snn.CG ]Ki cVA2F&a&p/xWs''ٻՐ떢X|2 ,~p36$z2ėM7̤&d'L엳= <5lf/>!A+z ڌTgkP '0 RAevmNϐ>lPr<El 6oQ ~D?Z^!g(RrD0tPS8X-8̓d0 QTʑ`J Fp#Z]2Yf ͽfS/߸q mr8>$odeZO tA9Su<$RNlX`d5'A}&DRz?$geGȼeXftM: >@WDWx1XW(5RSqI/iSczs,VX5. =,[Vn=}%~5pїDEy&i530 ـhjmhnE35T2/ڗvfLemb$sju FqrgYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 4ecc40d02e32e98ce2df24a5ef77cc9db38c1c98 9bb64d25a454e76f91ab3470612aabb28b261038 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb1430dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386