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 : d\4 ]/ Tutorial:threads=4elapsed=20.483cpu=67.120gc=5.608factor=3.287zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CXf@*/%U;.g(Y4LEv7)T:MIPz_Dr\IB?< &RBxsJ ص="Ϧڏ{N`V{_G@hA{xr+sSE좄R1Hc窑r5?Xcto#S\r'yM?A   Tutorial  6~Z*9{s^fQ< +a}㷋`+^,uH"Gd;Fnf;nKR.!9jwvjEu2=gj?^BjA` :wH=?~4~6|@\=V|p^pA&/3Kڨ ];Nދ-;C^4[iy:/$8=DPx(WNn^Y恓fYpSYs[vw93NGޣ~V~W Iʌb1Fmq%}c8&M$_!YG< @.jGLxw/wm=ɽU;W(gƤvxBl'P?lGwGЃKV/DVtg.YjU[:@QreUI ޗEf;4e3խ ?2_f#@*r}bFs+PB9]cžEb} Flc2eu8UƫX`TAy IQF\4:119 gUgYZ7zXZִF! <']ŗXiɟrj#>׋DĩOTL}e4[VIGUh{,ϡS],4HuT; )&75D܏:uF<烍ήeLC<弦j BҥR5^d?*OX\h '!lYA~2qEj' ^۔vZ-й@&W6.%wxyܸDy&^nA>MidrZ (L=fZߡ4*U!騇*S,D?^;*\ Q8TAT4yJ:ZM5n<rp fWI4zc\G۳ 6]5Vhs?Z֋GioJ7 0vw]]&ۉH S箙-L!Enn.iVP 'f~!х3WZ.m,7gƢ]!3"06>s;YR٘pt06e5D" PBC[@,a1'npp#0?9/ϕbLJ;k3[]XRnZ3~AME"bSfX'7Tp5n$Θu#ʸ*eNbBA\YG0|/rۋrJg&#YY2yKTxHl$X;ۮCPWC9Ha"x3=tłDw}%3㧁j2T$J\ 4*|+l,;ZU"gYZ7zXZִF! m0]ŗXi%L 0ʀС8 ݴ(/0(K Z ÂAKЁKK ,s\BsYc׵i$[^4|UaƤ@QZ9r 2r"̸>~]o>m*>*7WI &,ӏ|Z.WQF gdIsN R. A!&OGYQk!ziP#8=w 8T2swŝ{oU>#f/5^yYI.龨dZ *uԗ/WݹWO5}E;MQ1_f A 06ԸLuT|_ Ɠd!CBw"#O} Β ]"N6(+‰c~-p%l(s YkRMiK^DhV}WI2zf"]R DmFl R+mʠA/r`A{t#=`7m qw?Qx6m^BdO+Qbw(קȆF0THq$SP=Mb:A3j%;9ǖӅ;B#IĦqkl ,JV'˗AA =٠@agBԳf{+,4rSMUb ?)8+aiHJ$2˯i:Ԃ3v3$aT̍ .j9i]5Q51TQ7dauSxң bkHӍ 4ldl-s znU-ʱ ZXvXHC@aaڙM]nȼrqsd inI 1 b(o\Uq2F3@pmJފm~/IHX81^>"LmUzzjXtCԼd4h_VQ$=<{OI+m >/IF5Z :zWP,r߹Uw_&y` ?(FTGED4|=."f0!] =!Uc J XQRݲ~z1GF-M͵Di]; KG%v1n&H"f^ z{ f )C#Uծuu-9F!m2^RHY z2׫JʯorbM_g?g>.aː9$чHf(Fw_A@SDH)L|/P'J l,"$)rH.iGpQ`.ho(Rk+7j,cU#ͼGɧ]ǕQ-M=]PkiwTZ96w&T%tW 2Ŧom{0 wܖxV'VًĄwMm>R