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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info HH-1 4 d ]]HOL-Imperative_HOL:threads=2elapsed=84.132cpu=74.088gc=2.752factor=0.887zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑviza&=h v$Ep٬j}ߕ>O$Yi͜cZiƶ¬FUϱe?Kksu72+{ʔM6ʰkm&3Ay? ba^.dsK[b~D7<6i\8ԄXJU(3pX1Oo7t]y1m:G!{5!3PVWkӃ2dT)=W'%z9Fta X]>Jy&YG876q YY<5$|OW,."dF 2P ,h+PWߘ(JԽV Gkr8̡aRG3|/&1SkU0!;ja kuvcOxz?(ȝI[`bwX|PL=a izw=Bq;O=y5h"߄'Vtn")j{5 8<6T>4oɷglhT-<{dUx8kHx:jDo="ĦwWQp^&,(*ҝ^..U 8 g~vު&:7sLC)YHgYeHĔ]%Y o'zto:Y>dDwꑋm%3^SGD1GZ\QSFL7&Nrf 1u!X}y ~}gc³&oء3oG1.ajU6cב؜8_>H - >R@݋ !2bZKl!u𠾐;Ll!*Dz{3@0z5,2  =\"V*!g SR6"rli4k)!ue*ׇ_cyGISypE E!߇HbпLxUYiTژ #hTIĮ!?6ÉxClK/c7:] !a\ _5ePgYZ7zXZִF! @]ŗXiɟ1nhЦx"n_8N]( eOtdڂ¹(:z2U/CtC1) H"ٳ$9g|)!d}eutJ,A<ڹL+yKvۏfjDWiB(>XeA pߖB3 J6 %t+)ЛhgxSb L4ﺚNu< ?7kgSw}-o\*sݜ587AuKu.}X{Uת&?*5sapfQ4ȑ:(qA DֱgYZ7zXZִF! f]ŗXi%>g@>5h\$ZDSiLgE)d'lVXaQ!{S\fL+aP)Fw YT+ oƜ% HmM`Z/#Gd,P3BɧϹdʥ."BZm,ܧc3czY_xM\ƲeEXXm%/f] jQEx@CS*np Js/ILY:ŧeޡs8,ߋX}*5+C6b ۡE+c!"Ntz&u8u(@C.NN7"xٚ Cҁ5SJQ'ד:YcLտLr۳"5>eDdoH9گsUaHvҤ%~,b(@] Rb' 8(qg08X9HJ+.\a=j'q/nrPީgw.z[)!/r">\(e/7G ؂k)Nv՜ەbgȷKJ9c 51207'6PD%mWZ` ^H :hN_,^G37:-->߇6?Jo;, ƟzO-CK˪8PYj g|uiVݣi Zx5 cҩb1;Z}LƜ驸]$-_*Eހo&Õj!p΁>u>0Tc5-DBչ-`j­> a`Pǘ91׬zhiMjY( 4޾ϴdu8dK2௥C,-Gw]MH,ԛRm[ݏeJX8pw^-يpM-D ~Fٷz΃Aꂁ{r"ߜ#aSq"S̍+ ?m@ȐaH5[Zk $kG@)ԛ6{a K Ì_VHUo7$ ڈGDd֎Bѱ}eʾe?Aƽ ) #Is(tL3󚍾xMcSz-WylY7} +mp; `oUol5N S?K")(|qù)ne Amc2($x9>ba< hI >\"UѾc_nq 17-'i*@rC sjMScM[' @zԏ~F sP{O= K#DN\Wb&2+*!sc6 (e75y#+ak{$TI=ɉ}]ó;:ammlH*Qe=̑r]߷E 7Ɋ1lVޘxwC[@pS"[?9 rvac-mY#&] {avIQGj*k`8N0{AH0n^FVgNm>ӵ~z,| 9-H*xxbED6`9~#FWz-m!Hs0OIyT#6Xr'WaF[An}l o[V$P0$ CS'^(*,!&;ŒC