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  - l4 ] Lambda_Free_RPOs:threads=4elapsed=12.795cpu=48.696gc=2.260factor=3.817zXZִF! A]ŗXf[&yAELk};CV3W h?1_=hi5%<^dVZ[uBgrMh}k0o! O1eD)PƉiDe_ѕ("Q_ 4 h5NCOPQЁŻߠ>nȘg` XD7?ꂅ>'" 9^@~nKD,AxCՙLź"一OFDr6?ZʽLzbs`b2y 6%RW0lT< B|Fؠu<`ħ$+7Y7 Kћq,͍q-ܷ5\/eQwt 7!MZeƲ߼98]zGbBCHC쐕QK2WL"B[β[y?12S%Sd@c8l@i.zϾ"r%H˜O;8 Ŋ꽝Л޻+`F@:#?Z8nGq}m l4cS"pjTʫD+&PE70>=tz@u+ ؽ"/\U}\9st4 +(zrM6Lx=WDhrux}{5||[SDxf|/M/Q")TdL*U.׹T##)=t=KTC%Q*?և9 JId6Ĥ8Eb0qMc~k]&^hnL9jgYZ7zXZִF! /]ŗXiɟ1?ߟt;9HK?.>e7"1)A$D^hwcfy*y_h:+ޏn6- [A!9}޳p $M?xek Ӗ?|`߳mM9g=T'5)AA 8,az`oY#'fPG mnhPؕK!OՄӉ^MR:ĥI?+[-d oYDF?>JPpoўUf ɦIYw9俣}뙊y/`.qgYZ7zXZִF! a]ŗXi%I7#R '_ nl:qDnp0@VIm5jI,Dyn%ԏߞa65Zw trLl99SI8O\L( xE#4MJzl/xIt}%0Ai;\cǪ[pűbuOA ^gjڥ6HYBr"w{(ixc,l ˺%VH҂ 8X4#5[$׿sAcGeNYBX/NE_S-юhHcn8qj"Fz$vEv6 ̏YE,.3k{@}+4B;)Ba׶Gq+cx@nN8&o'O9U=E<.a|zL1qD=r|`:S @qI W\ٹ$(kK+n|Բu~']8>!גZnu&X+SW1!h>ş=Kw6հZ;4ӷZʍ;[{RؓB=.1%Oi?ӈ wj@lMorL$GffSPe 9u=Q%u70,}i(/&KĔ@,RV݉]eNlE‚ TW${ׁ=!/CcV%MW"خȄaZ4Wxfw^yoB\sQ5TuU6ȾDЦt nY .X=5kz`;c1RPk#ݺQhED@VKQ9~^m ⿒b:vygP9'쎨 r<ŝϷcr wa;c"%)m}D8b@; 3QM5H8teB< RN LÔ.t !?8ݘAV!<|x0My`҄4m{3!7#r}Bb;?,[ 3xδ$`p?-|Ρ_d#5D}ݵ%KsYiEIۄL&h_}* 3}z