SQLite format 3@ .0:  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 u/ L,< ]S Monomorphic_Monad:threads=4elapsed=35.067cpu=61.728gc=2.712factor=1.767zXZִF! ]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rҘPcK)+;͋/cA M9,,vqÐԌ8KaPa#{Ch~GҢU -dY+vFC Ib.{M}:Cv%˝@mN& |.rE. hxaV cdUipHY{|TF?~?z|3/~g_)!   ߹~Nr{__x ~T&5ގ"lWo}U / Monomorphic_Monad  ^7吝xX2?rd,G7G?33!3J5ټH`g̤dI4&;I:wpc C]9bfe:] }{wBS3dۥJnԛb뷍2-2gsܚ3 &߇pRХ~,j/vCa6\ԋá8u9yYQVS^\ 9d}C%. .vtF*PN8N~)Û:#'gYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍ3`X%T|ϿsS?ggL?P3]yE'*&yh YH~[($EF݆0\8 vv5+͂n7#P@_+vޤ?phya!›o‘Aۀ'c!3@C'#1gYZ7zXZִF! ]ŗXi%Eb⬞KThk!+ O={חv> A_bw{Vq[{S]f.,ejV 3 b=~o]<f3Lʯa9 Ded+]ɐ\5ڞv.n|Zf}QÐXja>#>5j2рk+` 4Qw.@?.0cmr%SPWkZHdB=1_c9XY}'PUeݖH-xV̬_3):˿,L+ϻ[U`IrO܄f*"i ,|i]RX0*y SNw#kH'OpyBIKU]/Y 쪎MOÆ.84Ӻj`'b ߱&J(ّ>E?+\@Gb{tKEUBthϐ˱8$-Y mMy 6QbEX|eيlMx01A%8>6ti=[ MoKi9eIm2{)w핶ӟ;]9c#Hl +?+%N\0U:9*9B c(Rcf17G?o[[Adm$7ECIܩ4C*=;' f"A3<]fb^ϔ_, *P[G昆қ PWB$ Tx{B㺝.c09]S1k"zh/80@.>;,l݉L*f}#åm_g6❙pc~O|bD uK><=mgN_,:LDkʡ x$%1 /h^0k'⮨3ϛJ_L4ܴ78OlI2edkLudpҕbsډJcL)VZ!{٥J6)'N~oNیIq9ZO܈)aXXn7?]:Z`+:v1(aƐ,7hj!`:^Vu9 Mr5Hz&Ȑe7p@)[*Gj[l# 7b&"Ṷ O 6[Y4K>ff>񁗺@U.V{ gJwl vU]t7a>5fEt7 2‚/s8+9ɴOS 49 ,-$Cׄ1F䝳{+O](ML+r,gjNrdY3(1(nΓ[=$.qhg}9}[?ۦ,.<-1E0zzټ-,[kSv8'/ʭ!wLbdcncJvB o1 ed*E}a$փ #TúA.lRכ#j¬8*lcb j;CM t꿗h@1QT($r̔Z}uOGEW+*%ΣE8G3Ƥ1,2dc<_%B#b'1&pԔw0jdO僟Sqԧpf<.5:(;b3k ΍ڳlXfMi{a~gU!ۤ`^/]?HJ,.F&cd =Wpn؊J{t;f_0[}qpnU\XR"lP7 C!LeqE5"oPkb@k- !,e=hVzhAeD0wJgMo8=C{Ja+1J1 ϽOgYZ0b182c043ca57833bfd9e469da2e97b29bcd044587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c 276bced4636a28657af6eb788414550e6cc4e5ce