SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 #- t4< ] HOL-SET_Protocol:threads=6elapsed=20.116cpu=88.456gc=2.352factor=4.407zXZִF! +L]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa].ŖؐS-5| Ma%ƅ%k@l2x1d$Q,lYwz!5 YKbdB T( bЃ⯎N$6یufނv'bk1);-\vWbn|zkr{rDXКHx]&ѽ^8|PS}hWNU[xUx0Ƃ#Mm{87EJ##;bTR.cAsBog]aH״H~RxfO# NJ?`Xb;߻R3(Ÿn\MJ|˅  Ş Ώ!@TcahY#+kW8tKq+volm3vW4I"e1^ :dPO٨66сxއ{jݏr^2l;3jىM l%m?I`C 1wjSW&<A9v9!mQc^V_ 6AX/.mUȶ%uPmOIm 縖G 'Sb%~2Gh!߁R )^O3}ViAg5H3yJRU^0RWjzB`<#巄 -aEg@tQb.?V|@cQxu+G^*兽s?^էzn<=vdi[kB*C+べ5W ڪ\[렖 ,XUz[f=:wRIi}<^+/+0/1VgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTQV/X@Gɪh\+?m"3 k/"8lˠrstD3Cät_s dѨx7ƅD']ՏG?P.:#F[ +ξϬ$)<ٗBs\qA!_p} / S hэW͞~ [pHv=|qgExӜXakwF6f(K7G 2RsI=XWZq=ӗy7gV$G[(9GNk4[Y UW/EZ].SlFo{&^x? F02"zP&O%hAY(#Ďcc+I,Nj grLo`⭺9$&et5wa;t3=ۀ8iw YR@c\mkZ#AِoF-NݗVOx%dt&pn;h7i5+up(;aLZI9)ɯ0j@ :e<9C|? 1+˵pE, ^9?^ FLŪKI"^GI 3вFC (D,!c, Н8 ;ghKqnhEinlK!gpN=(1U1 _:g N>~Ў:U>`} sO'>WLPtBvTWK_`RM?1'W/kd|t _Ƴ򬎖˾1 *Y oXhP #2O"+7>pUd^_-η - t7hb1$(=47̐?iL (1x+@ڽ\hxsTqviJ HLzS6?O:5+_aj&q-!6>1 .5*ſKa))7+N>%ǽdpڝcm6Ձ^RZkeXPnۚvl?iANt  a…l+{.nKנUeø2BGX n'x0mBsHLwTic"rŒZ~"1c^^֕CHNss &@t(_vmVM eDADD>T*2 hr#> Y[ jҽ6 0G=cX6c:-GN