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 91 d ] HOL-Imperative_HOL:threads=6elapsed=37.010cpu=70.816gc=2.352factor=1.917zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑviz*&M򢢿jk iW Z6(K"n*o?;p9w-RPSfţA!deغG>\kR2_[0K+#勣 yN*o 6$6,HZIaTY_Y/2?TjAPNAt,Ifɀ}x~m);;o80oUpXH(Vx&*E^%?dBSqd1#͒M@N~4Ns 1 HOL-Imperative_HOL  QI?= "1AvM%:FC:NEAAQFEw6Rnu='FgS )A?ɼ~4s[HuPS颮im>baSrMv32ųV i/(|@)$DKZ܉/Q]xa`U13' Z U館TϩL+W`rSl[)8K|L Aょ2G,BXKBo9޻w->w_;# ' C0 L|M&qw&XihS:3K>уK +uKzeYٶV͜TGDڊ8͞@Աڋ4`o Oi8FH2QVλ'xyqæ'>`_\pkOVDz10w'7 WƝ -%Z;},}=avM{s/ʉ|lᩕOeI.qj1=wT?ƻzͩWMLK=gyTFx,y.eɞ;iD4<;s>ЖwGCsbw܏nD.CC"=! f} ЮPm&C0@xc.~NN5hCEd~m}zՍ{kǥfjFf*R0r WOwX7()qk _y$gYZ7zXZִF! H]ŗXiɟ1nhЦx"n_8N]( eOtd:g! ݕF;w]Y%cEaaPQߤ lLԪrQ= "5D̕tT gcm>gYZ7zXZִF! ೮]ŗXi%@^7πKJ уWZd"~Wk Z :0mMd>Nޒ gd\$+4?s>U _ccK{ESS߱;`i#AvbPL;nj\"o -y -m/=)R^4=s{ ͩMgeSkXY$Hsa{Qw:![d`z+?-?b_ K+3+HB-E Aie!# 3qo9]V#/k6$BQs1dt -FcoIjB1>-큡GxW*vbY^͂r}-2֪ J!K$<V8)Y5!*"%酰+B$h s E/: Ky`1_~.a až1q %\Qz"eS ϴGdZ'XOt/ ~89ݳ.BHK\r FqOzM4O G!S,`  [go~pE0fqae_o:2ewtDHe)^Dp~tM 0v3&t(84Zs|\*vF؜9Nn*Tߔ^W$>˳I!`&gY]*VgJ6{ym7^%7:-S*t'~1:`0 RXb`2piϳjYOGd9_YP @!on0qYڦ"Y3*)e#68k̐搴 <`ۼ%!yk8M 5oXz}  OuUC TmG fiX 4pMQ_fn[fe) @xwvz1d)#h &o+heph8I Ťs(ri΋d-9r,N]d5͗Eo(n5X T'~biߕ :H'CHIE wG-K(im-TS^6f!4#nǡzM8t*dc_A!5 Mݨ(w[AXh4DY%]whBu'!{VϿ&֝.ЂAb_8yu$i} ju d&Djgè{^ N=$>J2 B Nq9HtY͛t:Gv$5ektͫW9c=1An PNcgJӸ%QÈ$ kE,BHbfJfӔ!.(!t| w},; Ae/NbQ色*arxJnZ,`+]ω=D9Ӏ &6:H8.}ڳٻjja>>gMl"L`tA'SS|ʒ̑5VVoo%JnTa=`*\ 󥇌ؔtL=UxHb&rEϧiYԂgb12\[3'JZm%IH`J95. >u{ƽ썅|P?Vƿ#_ o|8dSoV8>?}LSs<5##J>BǺ`coy4ݭp&X?8z>qrZ+=% z)KLCn!G|F^_VEPRICGCb93,}y#gYZ813192b1929ac4dc236d0ee12ad2ed2dcbeaf59cd716f8fb9fa43b4b247aa7bc0e733655554f6562 aee1e61aec33c94e0aab6c04b583c2e618770fb8 dbf1736a9f6d1afdc0669ab8168d431980b42cfe