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 cc+ t| c/ Euler_Partition:threads=2elapsed=14.573cpu=27.180gc=1.016factor=1.877zXZִF! - t]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I Pȕq냍E2{!CѸ\a)zPZ`.v]XjmFJ#zg\$Qm9}œw/%94 jEX[ylhYSfTmt}6ne vlD|F iv h}I&!c;X*Z GH^wOYO13e5RCjwP_@V[a s LYH9K74ȀDh9hu3"H}DeilvvBBN{͞U UX114օ8VBJLGh3&7{߹:3zzoW>_L/Vq&j> Hi"l,/roXPQ턗i.h\<fjvLjCzp˛M s:GA2m6A+`bگk;bn>KQаǭ'h(orWcMq3i\[h ;wFXZ HpWƝd/t);i`z '4ߥSA-TUIu&Qsb;Ì"5yL + Euler_Partition;v&zGeqytTYQ~O#-.>h}h^yƜkq} ;]M0֯m40Cq~b-/1x uj: xD WFt.W WWk-cd(w;HZnQE`y Rqpb_ R?/B8ZV$Jmlc4ϔlm7.TYe)F*z{w2Nz\Nb4왝mQ? /=: ֜t VwuڦsOoT琠uM&%Ý3+3>0~bZw B?z_ na*(&P[V~찖,l`!4t&@lxs !Ltj㳋Νi8bFVMykWLig*:f-Q yʻh`b\j sFQīQS 6,o(@AZsEꍟ1V]%8M$|Opytۏ\qrQϜz:Aߏ@"H81.'~̩06Uur܀p 4daHjlm)@[қfgԵ>56$||Xx@i3(sR X|0y AMhN_U8!F֋&BHj Z-%/D/l2 2} (+w-X̋n=hr TfH3hE62#$֎Bq˜XIJj'#\cz/bY.UW]9H}T[j39:ٰ*os@uX-n> ;'xs1_mDפ P1B6 lڇ_/nuqkohvϢ6:&֊KQz#S^7eȌw2-O4M:vu\? x(;i ]co#^ŊJyUB gAZhSُJFQ҈gOAXaSJnaH8·֐=MC9PQFhڈ%k ;qv66h'PkefeQ ֈe`+wddQr, &YXƭ'"XrG+ՊMix?#4fN%S\ 7D' PWY{6w2I n/Yg );YXg~Q.-7W5Ս2BUwsZn zu/b[(O0Wzs:>ī'H/aKZR&%su}l6ѹYa*XH]?0_A iA}-̓֎TT&%pC~:؊ N}:m Qʫ9xj+D<ۤYgZGeH pr<1rXJ$U0Wq?-tЦҪ,%fQQ;Y""oһ|}t&QgYZ7zXZִF! T|]ŗXi%=4rzi CD2:] ְo]qdլJ"=h FNRr 2xK4QHJlZ@%7$,R G(ʜR&718j'S,Ź}cN[J@<l76֚Ƕ<Zdb4mQzmCuN[hTw$Loq4Kd_iH>s R3W81O0kab[D1blnJo+Q3z9LvE!dV=XWU*dݺďAÛXayrzeS"AGW05V !qjPrx n3ʮ7?SvQ?s|7afozVιӛ"a}6Ķ U:kHM12, kNHɃQDhhCO,1K(? 'y'L58XJwd/BY1Օa_7sl\7oRoT "5_tv&p!׏ŭ=C>6?c\, ͍}: زƍɬNU5LP$or_EŒ&#LIwI+;,C xn;J¯*Ҋ@IrMYTsl)W9_n,a13~ٙ(3%ErL۵\IP(K~* rwڰ?yGƅ _eF]bLA;TEZ̏|ۄ({8Y uj)DVY;#7%Y31(Yj `F7(<ߊy i B4[톺_SJ C{Tw  c\`qgrk&{Yq yiR}]| Λ %jpTեÛ-ZA^96纬aE$7=<eI&X~j4%rqԈ&%p;Q4 X{pO.'P]Z: rmê * G΅WJWl r]rjnKIj1LI6bEuƀJc,pqu6(`r4(>|FJRtgO"Ҳ:ZxE$tl| Zߪ.*8X֗CD15x ͷu42ս^7k  kngYZ1bc701f8eb6474e542db12a6b783a92904024b2b 34221437a109a5594ba7786476b5abb5979a2647 4dc5dcbb173c1d4a56ace0685a339a50db42973f 6578c93287bfbbabf36475cf25010632a2dca122 7062f6bc3330331442ee719da0d76412d11266f3 82fce86746f9061205d625fb926c1da3b71e3bc1 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c d590558ac27bd56791168a8179e1e46d592628cd ddf7f141cbe49f6438d63bc3fca2b36b516a85ae ea2803e6ad062cad8ab0bf6f40be7356c48a14ad878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457