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  q ql| ]S PCF:threads=4elapsed=43.448cpu=106.924gc=3.224factor=2.467zXZִF! #Lo]ŗXf1-q恈͐7ӺV ),Jxx2br|£Mm"ϑ-Uۋ4u D3Rq똉j6O% ”A^2{ ]XTB{ĩDJeG0B|̩~\T+uL5ǎ9g݉# '3almd mqujy봐,oح3L 3RUe+FiLpyzhhYȱ :sg|1i*hZ;htZW}8 K}n"Záx;q9\#бk~B-!ݔLaUJOq>ke , GK24BG5c٥Kma0zъs}t:nO҇5$avX 8]-vP1\%PB^Jk1 >`tR||vS [[PXADx3DZh'-y [SGEO}6 l Glˬ7GrJXH+"62|J9?D}\J1#3ަq)/YdY["3y,ٻf|IUUR:Oӓ[n1P:S뇫 PXS\C3iݠEpn5 p/3&vH)R?P>ShI>{0i^c(]&Vpx&l^: őZ@_Au4ZAUw^ =ўb*@0]DIEKw+"K mpc0~v*'.&e}[:G FJgYZ7zXZִF! |]ŗXiɟ1˦r*E$O @zֲ_}@a]UJYFZp]; |>|5B Ir8k  PCF  |9"$.5 ge/_5jȂj˝r 0{V 3+#FAEy<H8GexW򆔃^}k_͆~hB^*dVKW(##Ȗ%:\TKlB-M8S5u;gYZ7zXZִF! c8]ŗXi%L 0=TNcL,:9'}oumHlY4Se*OP[LUxYqtu? vh K83"QbeL$կ:p,SƽºP12ru}'lR'!@t(XX&ϧGKYUvd9ҾF.6%b`UۨP/4Z6 &Me"y\a ,; /M|n|KWYb1_PG$?M˫kmo˳ I54֏ Ym]ohFNsf;ۃ V uٸWxᏂܙ"+o_J,ETj"]HB &ܜ ](燄vn88~ڂg0w\SgIŋAN/PAɕ0ٰ.pk/<0ߞY| /6S-hܟ8T#JouO r?ڴ#~ 2pF=_Э_g9VU 6^b*P_i}9,넡L0җ-'6 W8dzt7~_Ci]c(jʧ81QK3*99aƉ["Ȍ/p_zY|GjX|YtUBQr[- e76Qثe2/ltRv Fڜ@[Ӽb1Ft&I*5A]nkͮ:JOɿ0LDF٩Hx[@> ݷ~|M!bt(@2cVl˚H$;\epUZ]x/ư`QHMLUΠw򺫄bqՂ:fKW06Tq.ð3eEͼ׆#){d̘` ycv*~"/ͦ"!8/ڞ#&TL,| Ycr{ KQދjrD|BTe= d09u҅{ʆFvl~#OEwƚ-… M7 U!Oweǀ̜r0dM..W~Y< rέÀF"b*a?)QTɇ ھJOj*q$5K_uZx~9r!CV%=YYE ڝ9V?d29 ;v&v7$ۜ8`˕xgRW4gsPyVFw0/ۚF9R؝<#2'©6{R51m.XY{XxtrV |>Tj& mSp)$+-b;yPVmC_'SOh U ܕn_gOD@> n#& ob_!m=g5[&ǍF~J6oӤOLъq (WÎ/#HzKVRi3(0v*@zk=n[4!t ;GX^y= u1LFu7=#$TN9iڏ|1#,WXQcl+;+< Kh2q7#G*hpO>ȎUvΏ[Bh_*N[dv4`l i5^zE z$FOJ9 }-f!'OC` שEƷ]cb(˹$&#_ x!rєC^*Y*w+Â3t~"ֳay_< Nڗ¾Ly"0ƅAMli:#1 _ZT%9[gFi,}KJV^-rNՉHTT^qǝ|'7GqFtHt[7O'^f\Gֈ0vF.v}6\mjo'|̓˴/uU4 T;=G)\;5 VM;Ҝq9OiȠ r9r%9N[4A =4ġ.K/̬Հ4o~uU`D*w?16 h ,-|ʕۀz ȸH^z{#賄aoT_ s݃quypoC4t眄;`WIÀ'=.ø yB~Q%شa5nC%#\]:aGKlm!6S0k/imf Dcqr$Z}9>gYZ3c3fb54ec34ca5af1f741188c706c6687a6507ead3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 128a88a5eac78b7d575bc8110eb39ce5b5078fbb eef45ca5073decaf8326d32d6979efeef97fa69b