SQLite format 3@ .;  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 g4 ]/ Eisbach:threads=4elapsed=2.629cpu=3.040gc=0.000factor=1.167zXZִF! R]ŗXiɟd)&]hS.J}+%$ dF`V L=xfzOr: Dw@QcEr.ztmoh\ /(q|5An!^C JzeR$l!M')qP΢ O݆\kaI8$^9sdGYnI@]-HLOa`Ro0"fiFd $N?7A gF_U;['Qɓw->n{H'QrMS(H+j2֤ZĕUyVC ^}{/&"dCk.wFC-FjidI\ϮW6s$'lk匏[վ4VgÊ-J*}|~].1/{Gfb\Hh˔Kw-'[(njDޥ>$|!a̧D\m|_N =BZ 5y#2Yd u6/%?h轶2kgo`thʭޒCFsVҤYR I\) rӧ Hh7 (䵳զ{/5 Po+'s~-co"rx 0`r%tA%6IBQysq0 ; ;?Yuk\Iw4Z=,Iոg|L;2g=!ǔ>(4=#\烣V -;V^ 60<7[%r^EC"S@vUL TcA mĘ.,_-Ç3}AMv]k --Z j@oto[U^a}m=wd\$g&[Cɼ#h"=N@~Pp!mHrƒXNٵ(5RcUBHPR0K-fS*mm%~Tr\n7F=ȍ Z7gO. 𔤸 &A4mobP Y1pȮK\'ۆ7N-hz7k0i%-ސ{PNь}2bȐ;i4{UUeROhJ|Ed} 4`he5*9OCMf{߰|%u֐۵ cx_>G5Tqٸ?R~l;K2ROI|YPb_Q`;zϾ1YKq {==>4)Bx)z`8<-(+h>]fvs(:G> !aY+1 y.NǛrصUvb8ŷ,ZTòAN5U%R~n\pS&O 1@ߎv u!L ȘH5hd/&M X; =}8WrFS: qjrU MO rD&:ۖT \8W/Yq~K$IVG')zЯ?m]nX4W{ߑfGS垢v} < GKi05#QO~&NEatdxmd'L8OĬ1 Q4D}vW3\􂛴R1#yqt*x&M&r<$zL)ꖺf ,uWPqi`}+r\0 z;B-2EywXW ꨑ3!PN~/DV8O$ &fvB~PK6RO_W x9T.j{[5. (*PN^:t<!T|gYZ7zXZִF! ]]ŗXiɟsмHI:j|W?iUF|2E t3罶^$(^R@Ѷ+N`M53nVqi+7kl <{>%.R[[\J; tb'Ȕ4G&"gYZ7zXZִF! 9>]ŗXi%L!l-;R ) iWMLOvj?eUps'Smwu`kUV̗LΣd5=+]j-JSZ2P̯u˙lYhq?kIu;" |Y=:o5ZӑF8{gZ%Xhȇ脋f^6ʩz$=R=vD 89#͢B&rdȝzBUەΨQ4Ľ|TЃG`P{ޝ%:"M-ksf'* |*dWHjk1%tdYPHBMSs$|~i,!oF)Y!ڠVŜV()L7Do9S-Ē|ܮGi cfN'sukxS[qh؅v[ <+|#4fg'LKڭV0aʹS7`yW؊ws/^R9E"p5#S$E1[=#c__ vd`L`qr SvZO$A0cAeڵS|Af60H끉 JϱgYZ7bf6c8402ca684f4fe712c4672a57f98b0bf0f208215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61   Eisbach