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 PP-5 l| ]%]DynamicArchitectures:threads=4elapsed=10.259cpu=35.880gc=0.684factor=3.507zXZִF! /]ŗXf[&L #.3!R&m'\2\kntJ;Ī =7)<~stf\V+Ibtu"h0#.B,weFgZdaE\"Ƈ]8څS9K]c'1jVQ {~yRk/oxg-+u2\=B!~)Gñ7NH/}:~:+ =0 U-:i{KJ!5~ZW"YOE6bBb\ yhPO^ۧqN3qB)zv:mK(e''YRcVɃcrig9X8-B Rɔz# =VlrF5aZL1JX&YCلt 518S3P>J,WsgYZ7zXZִF! w]ŗXiɟ:340Ψ_իX+jެDu?.jT yG*?~`9Kn(,5#~8;Zvddat0 ʭ%gYZ7zXZִF! []ŗXi%GgP }s[~tsYV Lrd( F?L=oUEai@=*llMq|d724:o~Y. DKJ_O͎zN>) o}-<" 6(7NR:B)_J~Џ;:V2ţ7+LqrR]i~B܏|!S0 ^9v\-מ0bDuqQJԠu5R] tAF1UN#[>s8u (PX(oɤHƒ\;=XR4msa%pgviUq0K@e{̒.ow@A5WdD,a1O 7o>Ӑz⮭6R/_&B'9lw VX Y jnuMgW'e0n=8i8Zk^ѿ;܍ ܺǀ%ƮTG ҂iRS\cD +'aYOc)lcCHz\6$c$ӕui H5IAn5PH TsQnlOM$is3jw:;ӭ$s#3F?̽9Xo1vH:.~CraIv lkɔI6Ͱ`[bE<Ȧ& (LՈ18 ei?1ˁ>EdH\Kn!FB"/@twi#˸']>I.Qwݫ@aSe.p]ylC' [!\߁~' .Q=™~3;diܤ12!lH*@,T,KN[>/OR^u#ӥ"'ȯN); K\wʹmZsF%, :&v kgYZdc27d2fad9cee227436887a5276e3a42ad87239f1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c 46fa33e285b2d099a06a09a3f508267acc99e1e4cd853352e35b3e4c25da783572d5ce55863d5d05 5 DynamicArchitectures