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 }}) l<| ] HOL-TLA-Memory:threads=4elapsed=9.333cpu=26.256gc=0.596factor=2.817zXZִF! /]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE?q Pc:{v8pW}w+Vbyk-Ll ,c$awa(7Udr/0;P{RQ xj)f;+3G3)< HwV"^ظҿ,Ɉ$*grV sZ& j9$z brsR0erz7ӱ$qo/&_H4Op6!WW\=.ǹnDc s}~ sLĞoȻu 6ڟw&=lTPqFW8W&uHZ÷=!mvZw'2 ~a;rh1s4Lp9BB1 w}&捶!:쬎kG% &?ےIL^4B$JdzNahS]̞輍ᷣ>"v#|@o8<1+sgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKW#vNlZK3 gLB/ڂi">`#̳G@bIJhiAo09PkώY x Ѝ8`{k a^ܧ$ ?kZ|a j $ka"*.N`6xs6v[*w篔u"0gYZ7zXZִF! 4]ŗXi%G#rtdyS!,[NS׈7, Rƺ0t4~cNh<]&S49Nxt UY. ms)2',𧽞Ԁo:ptipT`i{2`p æ`$NO8ˎni =G^P\1Dҋf?cCƔ8%LX2kA;5w}iݣEE>O +Ýf?eΘ>\{Q1 YvX%'P㤰yaZ! b@}SMbH l,jµ#&<=Ym $<,Q/PYa``1|wUŖuZIPoy`A<BYm:+C==QcX2e ʭ,psq6rm1=+ѦsVr( /v*2'qAҸEz&P ZsA2K0 l?LQn"J!@ t ČPVi-aX}=\q 8F7M|i Vg;"9|v_xsXX蠎`?`\1I$Y;`;hBZ{A/V7 \!SG('E*aύn)N^zJiJ?i-a !JcFqf),_r63OC_SZz0<T$QuN^txg`(e,ܜ]P\7Rn=)4F;,NH`dS:(u6KhKr +7; Lnϲx!W)5 &0}PUSsWnA(Q (,ugqvL@ԩE:#U5۴ Au2xG*TYNR#EM;P:G3V?ظӢʢ 9S8mr>ePDHyAWc@JmvmaIYsk 6)կ;Y9ߋfPx_ i!gYZ89f36a9800cdf7b409bb189bef378c851c509cabc2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47 e61169184a795bae3065f62202eb30a4952e8999 ) HOL-TLA-Memory