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 M'LD, ] HOLCF-Prelude:threads=2elapsed=67.945cpu=105.908gc=4.264factor=1.567zXZִF! /`]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ] +lp`Epul5]?x2mK.%LQ_Zt]rNbK} HWX0E!bg+0BS飼1jA#jXkp2HSa\?Hr!9ClF+QƾZΤ%CPdȌ|VjLyЕti[(%--,r˰7qBG^nfÎ8JyPM#+>`Ql9bع=ʱ5K䜪`at)ݞ͚|EFoSڕ!sֶᄚQNcC]ڪdcf>JtPB- A=NDWxȱմ#&τד_Vg3'd'lr/'}m}N}wú으+yGkn|$IՀ}@ԑ#f2/W(~D"¸Ǚ}@'?V;ƔqxZp1J4THu@_-)[H4*/X|ۘ]M#^tU47 6{D1+|[Dyd#`<8ƊYS=ƝZ]LBƋ~&GRFd " 6O&~Js\iox7 b=YL#fn)ӠVCNed%( vb "pЯ6gN]T7j>HlCd'7 %>fO=ΰx[ A4(y7_?l 1wNgQ_bz"bQ!~Wwn8羌\_$+ȱʪҤɖtWyDj5'oA]ol GL ldKUge`Nz{>j`tYzG |j ' HOLCF-Prelude  gYZ7zXZִF! Xd ]ŗXi%;3/'6-xM!cIx* S[U;~M:T?$=: 7#!rdE$7R$a^=C$_Ys(@Ԟ!$tPP7;.Lwr ]ދKԽo )/׉`|,̡\`ޘַm L?`jğif]aW`־2h ~ I 92cQm^^S9Xhһ;^/҉V$mnGT# Հry=Ts3 'iYW~A&Pqmg /k##hm`A\8-oNY(}n̓I\ٙ&©gSİϸQ$$}LrX7-6 v .CfE9WC[]Sn5i\R >wU(0T aQ%vsn\ug,ω @IF'm_k{;N$6LPPG&P/ V9AC#5' X\ b%a%KضR?{@aRA7:!յ8T]Nh6&LH4=|^`|Gne_ʲ״)W)x3u zrŖ>rKiD^F7&I9g:84EI BŁF_gh;yv{'W-ͱ7AhlS+I|7TtjE;7AУUŚʔcYp>K yn knn Ni4o{\Nb/{;vԣ&%sЛ(j$YJM66 y.7Ҵ6XeBMצ/DޡJQK?(M{%cWjd2Q\D4D#tB=Cf3YOgH1Yhɔ!|;!u2 MLq Detyͣ0ĈiɺSu[Qm֘x?7\S')5:W1|AuE1"ѐPMHDA1e IBLЗ[P9|U7rVd3xxnb]*N5Eڣ*ܠ;2种v:]+(q"g\%S/#En͍eْ4!:I e(y}w+i֔>-ebk!*cc3*Ζ+{jm Ǜ"EH qH i^3@F`w Ljv6w_zHAYc48N g0!-jM.0f,Wsh1:Ÿ6k.m\ tmDs\fv>jGXQ"NMĨoC "eL #CJ jꂬ>5{-'*2@~EwJUZ8yܗŶVE-@s.󿏢46̢\h/{ ũ0Y *^cobs7'˜hgo/fWe6Au.\ZhKל_ MX#vTnx`]v@|(”HH}ӇuJmh2jLū[%$ Wu0D2#T:;XmH:.ѣ\ 5{b >JCp[;E?SbAL|Z Abu.4c@DIgVpg=J%<҉Mr%CyKm朗Qjt 죿!X1'RrI6_0@pqɐlTV/䬎 Vrl^[ެؐECGDc"j+V?%ۀ-l,&QF<<|1f$^M1bJOen(ಆ&