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 BB;5 4$4 ] Priority_Queue_Braun:threads=4elapsed=26.082cpu=46.128gc=0.720factor=1.777zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫w%woc(>@21g:9/II IUGj 7US'b:7s[5U~0:!Kw~ phvNecƌ\NnR.B'pJ dQy= K9roZ9O%p|X~VaQgZ_GT“kD؝)<1VyﳋLIWؒ EA'`[Qt I`|˂4?@Ur _smGmYoӉ%x"ʶF]Iɨ>4'G9.Q(O2ʽRT Rd xW+$ˁbaQ_ bgYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!مZB-%ŭ8ɡ0prw*ՍC3SsXh@%$vOI_$NQZLVh湱gYZ7zXZִF! ]ŗXi%GgR(2Kd|D hJč`V\" '[hZ @"@ޢ*VNo9Pݷf0t-_o^d~fTW/BprޗMMS$,>7Yn wF*j#]auAorz4}3jvdD`aқMi*C!I+ Yd LRw3Z4[CK25ǐŅ˔nprlJ6-y )5GL-Qc8/NGJPIRspq}gwMւ 2_-g`&pyã9 t5(^ bqIc5PȿEqYEBN0AGnPAa*Ca~ŋ˛U\g33n `l`ۓ_)Il}Rr{$|w21őB{ Gݿ/gu&ls&)!;1+o85)/NJUZ ݕ}f{ JB}F^䚞Uv1$C+E=d.}#C;6bw:EۢTfmLhS WS9n$PaFA"=Pl-VЗ'llϘБ`{B>Qp9L{'Ã; `a0}r& &aK! aP wn{̴5^"n@828,}jD&+{6CN+~|'tgk7]QE_] ΩK,gePvaس60cq=g.0)`txRLd'L#1M/JNIgmh`Cj穟MQkXZQosmA rPNβQ[luN54zBh▩̢*f&>^X4I9FIv+c>ɀ4Bݑ7eyjja׺mG'۫R˶0-@%vYйqBc-  ETb;/9w |G-gS N~z" $|ukEns;AJѪٝY@-nPBx*mIЃ'ND^$BJp] }EF 4 s:"~:7\dOVi ^Y=_)nF^'kcU8?F Fz-.$ xLyI䪩E2p@ F-PH^d>po|*ґX[LKwh(+bKPXv̧qmBm$LS|F4~(ł.N ziFkȺ-rOn$R灵jXu]]Bpe I)bWJNZ&uc88K5bO]|L Īяsfhdt'5Jp۹'F{N"5)/NƸ!sR]2\e[Vi oBa $laNњ;G՟Elkjn"? :K@W!˚R}aS3g"g~xВwTq'k@a ǯ],W> yVb!dF^mg$n`MkKuphCrmP4x4%"ܔ-$N%FZ4g%'QZU%-]1ͱgYZ08b99dde02d99a88419f2db8865c760cb76177741795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be 5 Priority_Queue_Braun