SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 &E d< ]/ Name_Carrying_Type_Inference:threads=2elapsed=20.976cpu=37.872gc=1.464factor=1.817zXZִF! +]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3er4tzO۪bmFj|ʅj쀛9Sem9=i_azF-51X=TYụ 8JPt.0oTt-g@t:=%QRכH%ڲ|/ǟ.X;0PxGлI( jFmc18 eƁ/\7:z6KH',oҷ) 0'h{:+*""O˗P)΃BjB2/c0]UO:9#ףf{e"! }VY }(ucJBf?Ι.?0BQ[aDZ4cOs S8mֹ2_+^qaN=2@JdO=)H=Ju)ot-JuutVqigYZ7zXZִF! x]ŗXi%>gϗMpÛLc$_gb ",P!V$;23hCQH۞E_+9Pvj!nEzNJIf^Ө\vBp]ka8F7r,-5kЁ]V[b鷢mLP{Uw_غRLZ/E؜xD:p Bg0ފM0U }fh^hGCݭVZdiM#V~SU(cgI?8]xRMU1 y!.Җu[9I4)s<_ޛ@Iʿ s44GenfK: @2 SNG_v8DK]Tӷhll+6p0v~E}1oObn%o{m0$C9}r7/Q4[e L,h'AL¢d7UTV{%n1N_]}ww&_4'*:8ˠ ,o,Z'?{N O}BDΏ'Du;oر|/Sul!֣UQn?J ӫAzW* S8>e {F}a]jLSU@dƜ!8(I%ːhSph% U ſ?VEtwqp Ծ7@ҍR-I\v/fa75q k2;EylKrp9[%g`:{@uMD6@vاwYjQp%֥!Q@؂)ʌjH ?vdC ,|vrW_. Vƅd̋X^h8EaT~ 0 [gYZd86709b7c920ed2468fe164b3f90f5cd5b05f4da97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 E Name_Carrying_Type_Inference