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 QQ' $d ! WorkerWrapper:threads=2elapsed=12.663cpu=23.776gc=0.956factor=1.887zXZִF! h3 ]ŗXf1-/6vR[X"9߫TS ' WorkerWrapperݬ2Kܦ\=Qհ+ _PUCn>A?^#"љ-lΘТFʨލCVw77T%2'*CO8؇qslɰWd@"-ު4pximHȯ+%D|̓z妍u4oo`4b՗^ ݒaL 'b>v|:6h"zstX%VA2M4 J"LWEV3g#ps j-1Ou$W$12Bh>jab}QE^@Ae57Sp -@boj_ #'gtmŏe?5a6`b~$<*RcEy cu婶O5a,@A+gϑ9iLiTb]U"h~KH1fS" m!]*^OBԖ=m-MO/J[u՜)8O3NS<ע_๜Oo^>c]2 r΂5X`04 N7+X!Y, ;L0K9~5`"mT&x-rFR\_ 'w FKae"nw-u׶tu"2gwUIIJ9ZrE;/.Z#chq¹ *Bjos:OdxcȞbSoa~*K*-a₯B6.S:^0lۄl|3kհ-Ktf+p2HP=~e*[G5U n#O93im~&jho9f[)~sTЯUE\/:Lu->;_w1$*w!.hvf׿z| @48V>lOVM\ԅ!AV[ΖJ+1X Oag"dԁg{T.G <+@Un:E~0r}Lr ##ؚjv(_5_y:\fDRЂWw  0DCؘ}FEpF UJgߝN{kq_D@R`YqJzbs<+fFB1v]lrjgYZ7zXZִF! F_+]ŗXi%=ux} :|bC@D%5!iGC4YN4{am]R&}<_*6ˢ~-5c|[2ZBD4 /w3*HSAܭuT'hOVԖNu?ѴF{7l?(M^w+<a 1(abUaO͒\(3ӊ7⫼0~DNY^sLckan5(_Qh̿o m0&;Omɺ,qK':ij`MԲ7ޢIցt+1d9BkS'Ft mv'9cbJ }2xz˨0/M=V]!0oG[~f:2FLG,Sx}tHY $O 9'ɯCz \Ǵ}ۼA&F,\OC+@x\Ĝ־bwr[%Vann;2Ӝ^<6jsSq>bU,c=gؾ\`uta<[Mt%V] aq]DHaZV3i&Li\lz1IFow ѥ0'UǯO68+J$E+C gNrʠ=+{T$-{o[ C#2&,WBJOo|1Z'o2*`d"ڌK)T<ʿ,Ɂgʌwvr13&a)+f IUaZ)!(ߔ ̫r8;-=ƹ2dBl ')#S R12  ^M' =$qP5 Дjߏ9 )3~3\L鱽sp5.']B E?Sغn+·-6~ЄW8SE̺#JSx?ʤ3q6AY}"{X' )`MX2e n}Q2{9O:]A=S*+ #رgYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 421772704f71307cdebbcff179b7ab0ee0679cd0 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5c0e078edacc5c944f795beb4c8b643ee0eca7ec