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 JJ+3<4, ]]Order_Lattice_Props:threads=4elapsed=38.534cpu=118.440gc=3.244factor=3.077zXZִF! ]c]ŗXf[&n\K[wLX4' :u/ U^rPͶL~x)FmBb E<#Eb[1A)}'pziqw7{Sk'=mNwɷM=qFc/P^feSp}LL /Š8䋽uQ\Q*Zfj,㝮Zo:nK9Som=O[؎#@{:X1,> 6d6^iwFyʄJ>.sfw]8MQE[#dGt,1O\N}u0Cu !fy)*lL$@wl,}(Ikk}-F4b6KHm {Vlb4D$:hB) PdKBHØu(Y(6uDzCCєedsV?Y'a h7]OS;a.,"4vB PsغAQnƔ&au2(_Dxd1t j1o zota]OQE}Qֻʦ0Q>MŘ1[6>;LcA2H^]KA1/d.n^qQ"bųN͸ 7gREN'KZhD J,ILoL q^,:#|yN>B̓gpT94{Z-^hv^ eY*G&3 '"GlmgQT'-$t6#j`ZzjsY/*W15gYZ7zXZִF! ]ŗXi%Eb⬝)ӷCrJ6/_qY^In;wO hyG[8⦙A%m›;t2>:'jU'|wUC_F9ZuN\)ܸ2GTw]-hydt{\:W~L|YVr?z|5sJvOCXdΆ+P&fSfp^2%QNXկkvRkb]R}2s` ?n[#E;<'P#MbIv&M<crKL~Q=&C@@3H_zT7e9R6`iJg]zr3nJDahTV\uNMu3(,Jĩ|cOi^+tixB&!y[-[ RQψgAr`TZdԶ@ca)h+Çg& ݠ m\_@Qbܗ 3Ǒ, P.ž K`?{a]]֦I`;q3JcxK/uQFdƏs9t*ji;0 :D3//Aqz3z+)~β{%;eM %)-`!FR*n?#rȡg`I\V>:qs8ߍA&prE^㪧g y HbSO!:X^~uu36;3Ea2lӑkǵ㋾"{<5Jw{H+ yx76Qb㼘39)Vz~5<8J<Z D{hn Ggx1tB%e䜀Z uOq7iO4A߉d FŌ)K@).ecxzu'Nbx| !ϞfB΃YnfJ/9XգcErp);MZFݴA"^UxWjl53!DіnxPV ZALHZJg D'w1Wg _tQJ%an.ErOy ߍ#n.5$͆qcrfFϺ樴@Oygn%}⃶$4hE~TKu|T p 8O fP,66$%r]ŹaM7W*h%Y ;LՊAQX z?3RpY:l> >Y'ش\%Of|()Z&(nz S|9ɏ`xIKVѮC:,߸:7<}6YfA-#eymƃ'1[R"#)'- Ng XSA e/A ]{y%ܬ (Q>(Չ4Mw?v:9#yMG>:dFGHEuR/xUtl ^3w'fӏpfkiD%؊R7N&<9B6>PcvfX햗R|H6OEǰa2צNTCCeT3Dۯѱx`.u2̷` VSMpz$`/ܷTmj{C1G{˧[5b9a Y;uɭ"}P!hJ4 n*yi`)=/# hԻN #pR0kH'W{;O{0ZƆn؛0=Nb^BGfzF\@9N˷nneL`I{_'-p- q̘̓Jqr9 F-DU6-4~?XYh\>z>?=P35不v&/n!#sIns}ybj,;jI(9ypy*|Ut/\c'246{Ún@X_ˏxTꃛDb<1so8Hh0pV~i\‚ ~$B(9YXW TFЌILNz8ThM`N^8T,kr?ͱDH$*n%^b{}J z0 ZGq(!cD;>;Z=p"}/˅Z'a^C@'92݇d9-:݃Ш.pro_)