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   s- <D ] Lambda_Free_RPOs:threads=4elapsed=16.701cpu=57.980gc=2.348factor=3.477zXZִF! %9]ŗXf[&yAELk};CV3W h?1_=hiVg+6 ʋwݥKt`wwr)N+SF< =Ŀ^(O qyQ&54sUa㔦2oUF+Uŝѧ"sB`~viWA6){.Wc*s&IvZ"˦4͐װPbj:n.;GȵN}tviny$.[VxZl9V@}X%L8+>P+F9 1A$44m;)AXu(Jq%13٭89D"@RJBj_kby< :[֚餶5G;/pEUc4EG5s1S/L^Zi0w֢N@U0;vSC$n:)5A%L-M"B66/D'*{}N>?i{K*;H) vi& B%(^-%!WIFPvc[!AghF^ٻ61@'pj'~ F ΈPTS3NtE9Mw˂{mY#C]oŲ< ָF5{g( Dz`F_|J=q ;^ @2)Uھؔz3 SCT6}7Oxg(عHϨo|>?F6B K7f;RXvmg 9ՏF7Xhr P!)-)6y˅;ic8m1XIq/!ALJTw*Dl~W9PdFTe[c>c%r$Ai[&9a͎k3#4Z)Kwϝ&c*JűgYZ7zXZִF! <]ŗXiɟ1?ߟt;9HK?.>e7" \.Pny$ׯu\iIE 0 -#N'y ʥ/wuz}2^PzU[N2$G%\wiQsh9Ɵ.sv./a b.,gC깸=RU$=AQC~Z8>>N۷LE9J(`dC3}Ye_?Mq::VMQyI*lUoQP?elp{QUD~uT 22qS?:;N><7nǓ1 #VoDY&My^?|KXrp 4zIjO[0F`?̎#&t4CXN|@O |a`wtB[Pr ǖ-r~ua>%;v#]-=q㎋n9u5D(5i_p6q声'xY%;ַL1к&: M-w7EZמ\6Gs3KZr,O3> "uX@p3"5R1.Ӄ Mn`< DŽ+m=x$]@ƥ"6xwف`?GڟKbɍJ{>[uy 3R#!vGN]\ܘOD.fCa";Xi9hVʳc _c8Aj]w&C~M**/>;/8us'rhԜ4?d@6;r-5 HD'E0/ -IOR"D;ďex Z><6}­^2mxW?.q3鷨-C,ePōijT3Qtu*!H.zA~]Uy/0[8v'e8+gR}w!պ<:C, YF WGkdY:ƾk'e۵?Bfu;!`ޙ<bb<ԠxR%1ii|Òi2 LBbR tڨ f <ҚqbZY i$'vmA&"Xu?˘[^f?,m̮XkOpfuqПЯPjiRsʨzAn#4M65U-lXU>ݞ=9YMfBXCY_1lYba JNwQi^`.Lt%h4kF]/r{&i+DG}=#_Vpؖޖ|I?tHP?ߕC.64U ˍ >=ƀ,tAM"A^S^t6ɗQBƆL"9(8߆W)N`܀ffS+&.D3Rӊ@n3ŽSUլXQ=Fq概Ż.t1kt\vEv( ʳ\ġ!pV"kUm*ST4,KN~ye*.<OJYİOm d^q_rG@+L`PܽSbǶeVWi)&LF_A |V%fem_iKmT`pqӂ4N%(_8!٦!vMXH?h_f0Eb,6@ ~N^]Zoi7ݐYđfys扃S po,J^Nsn)J!!-yOz8⍚~3&Rv(ʁK|Q;(z U >!}HtXlr<$ɹCw KNLKUiDK掽?i?deb`CM[! sUCFfV5zҕ6[5i?`/}G[ 3Z85-ĈKDYRu!tDhR-zCnڊjOs-;=ɢКL+pZaXc4BRFX\|Gpq?mh4GA:Tp7⬾!69M!L֊>cR$/+L&LQ4=mNZξȬ,i| -wU$Mr}H gi\JAgYZ5dcc75ac42be544a3d4d5cd9648d380d11a6c870d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c - Lambda_Free_RPOs