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 Y3 T I MonoBoolTranAlgebra:threads=2elapsed=7.997cpu=12.360gc=0.392factor=1.557zXZִF! UO{]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<YLnsW0AYX5b!ؘKx<+.%T I!j -50׮Qf$ OHF3frkʼnAM0[]_1`lB,&b o2J 'M-kyG- ؃IN,byr$͹u&xU\w=X# >FƮŠ N&[ow6Τ0쨛8p^JMAŶ9g I\]bug>;YPH%#]K_>][m@ OFh ̔Q"8xĂ.ـ=(.e Kвژ( pȈ8kmVh$!BpӋS.'>ƥK-BGyEQo`􌛦P!눶Ty#¤gm 3 MonoBoolTranAlgebraQff]}BئWJ ƹ|3űh|tbDx b_OkT[܌-e6'6}S1- ZU@ ?\!]G!yj מ@nM,I,H!F%~m(EH]ĮP:TiԡVq*[8;ȥt-p OK +(ZR,Y,H(8JHUFF+DTc.fDDٝkȡd kAA'8r9aJ W5E':$;39to޳TFsNv0vc`.m{pJ^B귷Z/xSҾc,Ia(m_IJFBT̓0I+8^^. 䏏@6M%١\%QvՍLj@j~ӢODXEfxip47eU3o?DpMr_ G`M,4'"5Gוӓ-Ϩ_T4g_IkrQ.j e] ˿Yt_;ehDg+,I<&{C7L"T|noMw;PR:jY*e}I^x ЪYF_gYZ7zXZִF! 1 a]ŗXi%SZLV K+^bj9UݜdNf%&fIi,Gv)ݯ]YjI 0r/PTz)k$DG5!,+t3O Ju|~4M$p{qZdV1Q+֗{](N˔&ʲQ` 6id -μ8mz'k&uj6E@M"Ֆ3dͩOY>y~rTjG*X؁L ~ tX1)Dʟ:cѿ0Cml#IC1Ŵ+kMDj5n"GS d㋡+O忧oKshͤ2^eC /gPX<*"LI*eh,A=re,lH3BZdHy>fmdD~٭<&־R"1EjHjtc%*` VCfG͒L޸ /ѳ\O !LUYB:  gF>M~F9R:G竒fH4_J›QJ[iVWRۭ4@$:j ZNL2CɆSal@2_^G!OT'I3ۇ́삢} _횡cd3 ff\/ZL|Ej^)~]z< & 9KXkb㟤F|ƀ WB<6 FAmgN%!ɝ.Ytvnp[{G)q8V5Ă;S1iՅwEԧD B1?ֹ5W1@A1[kޕ_bw= gYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d68480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab5ea8ae8ede0a6f9e25ed8b7f84d4c31edcfd89