SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  c5LD ]/ Concurrent_Revisions:threads=4elapsed=37.317cpu=111.060gc=2.664factor=2.987zXZִF! E]ŗXf[&"c\7MZ9T{[y?<tc'5~X `_## DH>iԙ i|aqmpE g h!fAIwr1U NY<@vLÛ>xe%+* ).;oP"MF5?D4_|4:+ 9isarf4m0R{,_Cs b\yG7oIylˁdNמ%WsimT${N!H1H;lhs)2:c8oTW ϩ8C^Zg4;f+$YK㸺я!֞=rǩWDX$u:eK3r)iy"Tif4V*_Ud>}PU`2,-%J'?'g4T˹a2pr P 4+{)5h>淄 H6'}[C4,%9h=uk:W(dW tX`;3qtսi?%3kxqG_RǛ ~8armҐxg*96A/*VʅDvcO?q׋z1Ƙf4TuhnՅkf?5D(#ti̒'$m73]F㥏GIboT=dwO qC/QN.5 xW8G-k @6Q lDзhxsh IXMQN؍b4mFk6A !F`_ZjJ}x3\nyaW61Y؜mE)!D=.7DLҚ,cఢ>E6&`'Us&5TβvZ&0J.X[! ?^`Y욃Of²~1~y׭b<`bđ!%j>$mѽpzyזwQ{Ȳw7bepfA>ԡۀn5j'6Gɰu^TSO;&~~K Ԅ7h[!(;854FPB:$<݄->Dj"џOc zzA([7wZΒ8 aůzSL@S,' ]kda<ϠQ uGx.J2Ds8& TOo݇[2MfC޽\N?rsI~bcαPcҡx"jgՒd_J@6Woj"1:Nu1KH5s6A[?2Ķ4퓡l!vQ"wӋБQݹݕ9w~uG,Bh ȕSiW[h۠\`zZ(x=lag9K1E7 ,-Ȓ=& JyszCHe69p];__ED^-0sp/C٨V(a)gH\w_.V~Ef-yR> 2>.O>-2Q,E$HhSJ,q.4O`vnE~mavbf<46&̮>5Tk >A U5P2NqRq 72$>Gm!vAysE0pRyr> oxGRo* Yz tziO 9ślDRNO>,'18hA/$j0p֔A(r,f/$*KIK֒\`*6X“7aVhxMP$qZ>&S.}N5:v)^qw-q6TuüUQ{~׃%h9͘ϱdGGei3@FNTmٯon5LX2fɽXʯ"j_gO1tO)]EϹP)NMig TJ W(v$EƐy@\z b E-u8 K!艈YL|ȴa7Y꼏}je*`fh%$MXWVdJJ>UgĪG"m"w;-4e,VU 6ymߊQj\ "!'1ٽ=yK~Z)Rkw#2R*^p4h\l>ؾg8$LSG,DHJW4;tImӬdr=ds&؜ZYOb᫂ګ2V` *[3&jNi, l.u/#LO\ H>|˝޿P4+'7a `Xd Pb-HDOH:Q/fo?ەRU#jExҋ},@1K,>݊TɛZ gơ ,K32Ne[/`qXq[x< f6?XRLb̟uKIf,K~]*号H #e}6eR 8l{cI;ާ9u`mH/E6&n@; ACtՀB (T$"M 9Z3a+0<V5XFػPp je;?Tx(hC$)30381d# 00tMYsj*<˺UK5rGZLn0!g_ (ғ(#%_+^.o,~? vH%mJdЌdN M [V~P mNǐPa[qtI(gYZd6eb0524315b2d963b705bbf6971fc96510845c476b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f