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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info L L 1+\t ]/ GraphMarkingIBP:threads=2elapsed=21.284cpu=37.980gc=0.892factor=1.787zXZ ִF ! ] ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ.!j[Q9Vf GHPwo%"Z?@-[6UUsGմ_l؛z>b-4'Iw3zb}so9@?0d6[#,Kk% mŖl$ 6XW}QX5@1U ~̆"¬se{Ff]MK6м5Vjӛ ?1UٺWa }ZR) ^neh +`60"QƐ\U.) kхXbE}wxݑ_*Hl.GUé+$$eY"beuVߍ¿P/h£Z3a_c W|0f&:ӕvJbɥmh2QFHH]pTlb -k`ryc8 ]eF3DwaV|U.M8S}WN'vd?7$=^FP]S'E%8 x ˋU{dsC0 |3!`(L?Ay.zAτ@LW[N%)?% iqu . צrg YZ7zXZ ִF ! 4] ŗXiɟoptB"5`'''?D:;Fg|Uk"ŃszAvF>3
`hu^wpH|v+0o|c0qlf9Q^0Ys
,fӼrGI)R4
`IQJTbMs$pcC$ 'o*U lAǪ deg YZ7zXZ ִF ! x:] ŗXi%;=yHlH]nmEG͕gS*|<#QY''@zdj$5 FU/G♏hz`ЗP
bSRz\J&I+?C!!7FP])} 9Ǹ"
ff60"[K;a4ηyLo7)D"Kd6.6ȁ.l]
+#cwQ,h>rLTAݭа5kg $O$)*M=IK*c&8q
>X$gF&Yj+.,+Y
m=뷔GToڻdaS뮯P띊,fCqi7l
N=wUf߂/ {_X">
Զ Qk]v`[(@
hzd{# ,*@wLJd,UQjS,a
58qWO u
(N4>z5fukj4<ηq![[ V@RF_=z2:@7gɭ){[s:ECGegJL<)̃W"xJ }ǣxpDz1@J,εhg0 St:1ܳQ
3|y~BzY `=W7JȚ6j^PِLR*_u-$fWoÙM?%rxcYu(Xdܨ-V4[J5Q^)3uAT}Tj]KO$Iį_=mhp\;"DA2[2gPؐB_䬙'eԵ:S ?4Xj gNpŊbqDqpPk-vr؏&'v99Hl2c-g諲] '#DCZ;e`k@yѺ}]#L+X~mզJn?Z2{ p~m|AҞ/:T;YI2dhAȱ$-i7PmT3=adfvW-GN:oWrIo5/Y5"RxF7!`"?[E.~D4ɢT\\ǝ`dNk
·92Vy4N{SjϨzaBۃj0F[h&Kr4%SI(ڦjOKʼzb_ /:q5*H͑+L,=8uP6L1UI:š`
0$U.ᘐcH&BjrAI*mMܯq9[Z)9:o[SLAk#"uT`=;jNn0o*b;aPaEF:ͺ Sy^ %h 0Pg YZc0013d0e3759a1ad25191788a78898d71e20b42eea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
+ GraphMarkingIBP r+=% |GraphMarkingIBPGraphMarkingIBP.LinkMarkdocument.tex7zXZ ִF ! 8w] A-MՋhvG"uIBm5hnH6;أ