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  4\ ]/ Tutorial:threads=2elapsed=32.139cpu=60.348gc=7.764factor=1.887zXZִF! @]ŗXf1-"oވ? VòSE{ l› M;CXf.=N/nwFZ,$vٺYl@0W+Z5 _(-ϓKʊ EH"JR'saW.[` d {t9#oɋ/AK66axDʘƙ1.pnB'ЎcEh~Mo֏z,ǙO(]~^Z}1 Zr 36okv q;1>AuU4eFw2׎egQ=s{chm/{h s6 \S?V   Tutorial  c-.c=KxKYIt3L2V7OZLGU?lg0 2Ir0t&nft* $Eq<>Nd L0Yd@4ap$ڹk3U(*NSߖ/º(3߁{ 7"Jg`֤ps8W=!Wʚix~7٩,b jϛD }H_^OC0p|ᝢvP|Ktm bpfh@s@s{^#BəZT}rKg-@OlshZa= SGWd9;Z#Hy@:\S[ X_E`CQL??%'zX y,q3n bꟑ4S٢!wr'n@bЩ `Ww9CZ-?wB ģ*a;EEV` 936OWV,+:gYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUhUΣ"O}pF2 {eWŦ#&[ltnTm0a=ZCO\l'OռfK&9>/贌!r?;xSN5X־6JR\>㧁̟G2CRӡ37ݺ qdnDT;qW.S'8ܩ4ShT0UxΜYyDX Wɥi\bB/6Y jG'7MV-Yo~*T޶TD7{=)PkՍgƎBVkDZvP@t!;n}-߶mTB\Nn_O! 1h͢J,PAɻo:GwAR}QސwA=F\w4GEhV %5;Ҝq+~> m>a6f+sך՘hys+7dzVtl>ߏ: d5nZ֬frיִ ޷#["o5P!]|(إ2]YbB,W?ֿcF"y#)zg&%@c`Mk1?MQ9%8*GD-ɑL}U⡩"s>a/lC"Dnէ0 +?N{-ϩ?cGCx:{=d!-PW1gόO ?0}5M(aؗ9UGv@u]hW=|=ٗ(7by_)`6Ty#] N x.U9).(_~;eVb yG?֪ H`3# ͯ?PEg휖&J܎Cm ӛ]CpH?rZʌϿ{^gkkU&׃ܙxQ{l騎a%_^EfD IG\aG:T)"PЈ}o:8rхj|ɟmY6k?Ie>ywXSou}QM*;%H.aMR2Oh`J;:yM>ɁF嬊)U5g`eA("G֎)%rěwU ON9`AHꈸ4C"/O !0B]trH+vr-32-Rcln`n*},_;S;` k1 mnačM;)]:hGMƕ;Z*ޔ&M|KQ){$t.ƷλaT?JzR$M YT>#^{?|CyҦtK_'JVG Pn:3p%&8%OlikVMM9CQb}$@Qz:+gYʅjo"2 ǧ(aELJc.we:l16~ +cEsqerA@,0֌:)aصvD9S@e~>71 8m՗Qtwy,u2QdO!_reJM@s@ PrU5c͢"n/$ȡ! kcȻ2DߛIGw釈D*Zk(`~r`IVz]Ʉ9kN}%NbW *WTM btQ 򙄈)owD?H#EHD`gHQ$Shٶ-疾L@io$7b#S ڝ>ffIܤ~8o>[k15+%x՞&}O{3zl :c &.̇S}g)+-8Y!T䘁c Slqov3~KĚ ghߴxCJI!7<Ӟ]xl>^LW/ }4d!_[ӎ0Pv** zbxzBZ*_SSOd5L _[c# hv!~Qj3mDuMMIS d&%rݶMg]F!nd𒤦cТQKfCP/w#~uj5%[ 3_鳢&S) PM+愎uV Afv}h(BiG S}6(yi$ nMܿYH*.7[1DC) Օ3gBmtR6h Zb;I'u Ny]vӚ/^C f3u]oH,tSܯֺ3Ü`¡%4'%?w05&N>?cv3i?QgYZ807186771bafec6921d2a28760e689d632ffaba382ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253