SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 - l,D ] HOL-SET_Protocol:threads=2elapsed=48.859cpu=83.652gc=2.260factor=1.717zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaвd]xx2/81W x(Jd`Jd@egH -㏉^i=tfflū8?9ILUP*58q9!Tj1'n9ǍuV۳VrZx¨ԏkx;V[f h7M@2t7ZHnkl.}" o6I % ?J97sm!WΩ} - HOL-SET_Protocol9Ym6$r%[NKShz\/7Tw?T9x2JlntaX,սvg*Daݰ+:s]e?jJzrer Ϗ5);giB,o>9q&jMp*P>%`8= mtAto&eGɸm`9p2kKA!]5eqrw\ bi| BDF'uÀMžm2~]PZSӳ'}fW DDT&8nŭux`ºTʛCS,_PQ{GVU8,Ÿ[&u3L t8iVGs󬵶|G.B)*ƆWI9vHƀ}CZϽ %lZLhK݋£:cQgX gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxTt"@|#8#?~$E 4좵(!)֛%!,0hp,v UTj`=< %ĥ-[KϞ(j>£P]=#r H=ǹ+`{L+KJph0j M}9"_xF6gYZ7zXZִF! Y]ŗXi%;iB(:;U\%kk@M4!ndr%Q3L+kT0TNuHaɣ&\F-U5_誓Lױ@0zpΞ(6yM :`-#@mb5?Ywylnxx-w^Xۡ+uߛ( /`{&8 O/o$ Jl0ܑ.]i2Sy>-f]S!X'gFq)NIw"5b wլC'n9c( ]o5\Lź81 h, ZWŬV<舔+ajXJPk?U7 AMx"w3wó,fI-$JFe2k:3TrV(}4ZW_ J(8NitJvSDMEc}⎶v"R8Ke2I,Y/'h}eVPm a-C6ïrPlJ(KGݜ)Yvo#1š؈pwH\r>5?zW!0}PR76{&& !GReՈSm楬k`j{uآP&E n`&nb1_idr鲰5׵PWnh]|GFjܦq9!*6G]?[V7tPXΜsgjIk}V,7 uX 58#*#Y@ƃ(CRC_W%Lǚ롿GíDgz83XfpMX_Is,Fce}>#~>y˒vC1aJʓ.TBtޭh^o`m `:#[^)ˢ^KTS(KÌ$#MfCȀ E2U㞍W> >VZV57Y@g,.1{pQUn yq8&E.\A܁G˝8oiVzBxܷz_#E^űOİ0 ܪ\03/76 |wLV רADs-e9dCV8iZQ! E<5l0]9n6bqޯ_ !ЭfD;]PmǸ[[uԗ= q(֝]3|V_`pLDŽ]w,᝞YFcQ$$Y$RPu0-M6GM1e-( az}㻿 _ pil^Wh0}@ ALxe\Ӛ"[@BK@VKFfpRr(t)} *?!x<|nlS,t B4uY,tJ`o}TGtZ剱9XKwEN!4 W{nF8uψyػO(b砾GWsL53ho A#4LT0̭X3 3'W>Djٙ-pЇ:xha:1\ a=bd;+`2m מ IH(x-huweПœTB*ywE.s4 ʮB yķ(K+fа,)ٽ'j~2TJnH"skdW_%3y`>n߳\'eI eIJ)fԅL.HܘzC|Dˢ`9}#^ĥ\ AC-=pX_OC?'J,Oa8}\wx%kHA%i)0; tz3ooWgq2IZToM=FS шEM2hDDBKn#N#e$|1zup ;a安S~!΂Jf%=Nb ? ĭ>Cܻ|`XB?l?#^Im,ȿpfKzwGG )ZqYB _u^Zߠ-0l|HR_M-(3(<)`ZLI~dX!g{y6=k—okv&u'aRG DݢFk#٪"d~= >#ig7TN W&:h XKGNJ';K8큅b/{[*Ug?<$B`z@ ޱZ #ޭ7A[3 yx'nv #]za]k)ewNi+ah9؛Jc l[%!mEQ3"xrɄnnhø$)uj͘ F'A%)k{P#G01D P/tfc'8~'1 xtx?Ŋ}۱ sVA^UtwRgP⯓F:4e,ݭwXJbM&qvG~9廬v"Վf?H2)AUjIW No0ٍhZQto^q?&BD=Q/gLQ-M%~\D{1Tƞ9ͫ;8ڧW!7`tt <_JHC'di[|oCnkhw j+k$=Ҋ r]լuu׿&ReygYZd565ba81290d78ffecc156c24708e62ab5a9b563b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e19fd855d79a722189e435995b1ccfcd1bca3848