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 %4  ]S Fisher_Yates:threads=4elapsed=3.438cpu=9.816gc=0.188factor=2.867zXZִF! { ]ŗXiɟH)0%o3ʤ.@^ޝ|ĕ#4*!Ux ٯ}]oDiKI7?SCC$B˱kq9G4@Usmu^ݚA O(#An^ =?O,)>ٝv+,Z -e[ (\%'I!kO$]*  % Fisher_Yates  ֊aZw$UGdCGqtKv,mҭ} qwTنce\ RaGRpUt0j@z8QˀnߎM$3=:8ZsO' zcY f~69l /ê.X "Y1m8=@TஏT f 4SLE p oxgع-tbK/ <ynŸ8\؇&4 &eQQ"^տͲ|#FӔ({y0@@K#`u!ZV{Ϯj xX<~J` ! x{e e84́ !92< {w|Fܴ1 +ĘZ!L!cQ3U;C-S&Oۊ蠓e}ut "ᮻ!@ sq'QD2oٚss=Y 8mN;ύ[ܑuvi-g"͇@`},$ Ah&NRtԊ1g9˳Ɗ>"a.і< ی0I) !D6h`zt+^Uo[a_[fje7ۙ9(lz.~]'NJOW s\)wV%b?mշ&&bvPckypVʍɕ ͍ Nq t:IoKjgFˤ{Y̏ 043XZ_3֪\4ԪʌU0%:ױ!$ɺ`KX24{=hfAu{ &[T蕵g2czRpwmpWd i-`Eۑ7NWD(1 :tXr|"`oMQp 6*}j9$WIy*(asMMH"Qy# 5vVځ(U,"j k7C,-phI+f!e$ )%أ^E ^k=ӶkC5$2# aoFW% tNOdnu߹zVS&1U!3c׹?fYj"q郞(CPwك}Z+wpZZ"F8O_ixt7?n P=^vzKG wM tۏr$4A+up5|lEId+y"RŊS$t"u$ԶO6ZV&~1)y "^7wh(Lr>kW< mںH\wkBAu%*Ua8S!nc)mBsXN aFKy{hKchF ;mKRJ_>̧^@d09V ].9Ɔ ̮kR-ЁפnA%â9(Vo>޹Tv?KbK~p՛;${|&Qz83 Un@!!Qd"%^ߦ紐 vMRJƹd8NjUS)aCXGj O8ܠ kE]{>’!~[P[U$aћ v\]G9##g>>.`i)HǨI>cͩ >,ƙ] H_w,/ZLX8$z$zܩݹQeMX`a=49)v#f UΒ)SuOcD9jj!_P*剨=CN"F9㺏U**aJor5V6LGi$f@{H@F/ 53ֽyYOd blGz|xeGwhn]SJK1MZ 5t)uO_4PՏ9H֯?Ţ.0.< VКpt;)Y ( -e? GgYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". u3`⌂-lu*9E(!jаpY^Nfڕ}YZ7zXZִF! )E]ŗXi%L!3D@(#- [~!BعP׉Z)M>cW?Tk]Ov-|=w;˸DcB7)aK$Yo`&CCa1 ,y6e-p oT(d9 Cs4*U&tc͈ S[R;8mw9qUzy##N/Le[TKIkyֆa1\jӸRi]).)d oZ(s%no/ç 2fza'`𻮟S{ N+sOa%n%rDc=Oܸ_U=˓5gPԧ\݊yRXѠ@ł]7./[h}M(8ސ q6ft#0owSH:%ߪ4(ƕh?.T VyQ*B wuAۨgC5<*>ֆpv\ 09)vnhojzjc;Io x0DeU75F;. ɰN!b D_S)ij7 w@z˜?}Co,7u%\ Yʽf"6#0~0'z|)/bbRk_˓/Gnyra|CfλM:]~8t:RH$NtwqEl?Voa؛$Μd"44I*+9{ c&2ynM `ښdC <%,SgױgYZ61bf008da035780079d911350bce0885ab06917a8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 38f9f4ed2bf44d4e2a3c3f9f4761a59c5b0bdf6f