SQLite format 3@ . BBh77otableisabelle_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 ee3 4,D ]% Residuated_Lattices:threads=2elapsed=27.531cpu=47.716gc=1.852factor=1.737zXZִF! *]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>hf^B'4t5 /˦Wj}lkbmemN.!<(?Mv˖R ` 1'H32Hj'44f:`e{o_z7/3Jُ Bmx.$ 1tr8ZDJzG\s3q07eTΛ }sqfoxhCܻ@i.5;]Ca6FA;R B7 }L5mO%~?N!pȔGܩe\Y[skumA&gK,Hr[ Q0EN->H]9-v*_P7d;2 jRP`Q2.$YŢa8eODʾ|Eik"@PbxO +n{!޶7T [9 44XKĽ%=xBq"+QU5.<7n,]\!8zd,46h(^v֗BGT$zzd MޱȨ20o]IoRV.(qaq[6Kǹ.O\ ÊY^iډ) P^TOӊ vvcd-s$LJiBJMkq@^V9PdˋXG"]phq[,B[*/EK?1NJ:{zoLhhE@9%.U>w s;;MIw%~Ae8k DtRn^Oui,B ܞ-M,s$nwQRHm3^9΅ۻ}й|x ik#,:daj-GmdAscT˰/ xi1K,Dq]`ۇzNMBrJk EW=l5UoLY׽; ]W& i{]09U!՛,;ZIY %@*]|G[ /+CzË9S77Y;|H›v2Y\r7;n4fTA10TzQPC@Yo.*hyO5Rj(8l"KewtGiPΑ,ԡK\E F,[ᙄ; EYBbM:krpڶUr'Oe<@GcH#ᛀ ړ^|~7p?mXtzdAf'tK-YSE|'m =dB|S4{nJ`ۀ-? P eveC:iN7 #ʷ׃^+GMߪ Bҍ͍lSؗdYTD, -Q&e+anSO2.0wGleFerb@`@əb_UogOzm8W޽db Hہ䀉`10.H 쁯̾PթRa<;*eH U~o`+vm!h* *Be%ޖ'MV\^fIQ_;u7qLh m50 v]6T̎>a1SQ?Juvz17/(YQJR^w@b䋈8UMy<cev+ٞ;h @1% e8QWөNJ~dq_d[]( Qj6xf2BSN",Rk0yٟU~y+ʈy\f&9l%Jt1!bKb̃:êsp]A:К p^u7C`{u|?(> 2ns)YP* )Kʴ9l̇AoGqg g6ؽ FA2䢔:de"egBw܃mR5W%u?e+퐾`%S#p$G-,g,Ѵ>A^0-׈6]`[neELʻPM|jdIގ)CFX@N4" ֙gYZ71b4208dff77649666df76e82183e1ee0d67aff979d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 2199e330ac59e6d168064afaf1a6cceacea7ddf7 4bf0e95cb0e4dbfc1155448ad46133e11630c39e 37a7ec52982746dcfca5a01dfaa97ec178186686 3 Residuated_Lattices