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 m5 l|d ]% DynamicArchitectures:threads=2elapsed=13.658cpu=25.632gc=0.844factor=1.887zXZִF! ]]ŗXf1-/6vRZaKSt$uxem1o/pA"6΁oD A/P.|(j{0:CQfXPv1/{?_z)кi8 7_='"5~iq'00vgƘl%Htlq} Ht eS FG@~[ n_Xs濐x&gpk6<@YRt&>n(!/gl({V`CK(B/In2RBa WtZ~-v4uh+ʷk%i1*}c"Ee/sAtBnrzaۍB[h5(mOtA4A* p ="0.#(꩹AߙԹDF}WiE;F@PFG\SB&YHgYZ7zXZִF! w]ŗXiɟ:340Ψ_իX+jެDu?.jT yFa|LWc_ b>6`L*h5lUA9/2ZtM`^cSs9T,%gYZ7zXZִF! O]ŗXi%9(OԤ^wvE)}O0K ]YyDG 9 ! u6TxC2Jpe ]7e|k^G0ǥT~9Q n\"YRCrwt:a7&psf׌K;5s)û2^p"^IwHZHs{s62*\7OY>i i0PC·ȴ;İd1K>lx I™ahP;иr9BHsRbc8v.ݽ`q.GÎ}61M3ʹ]6\ }SE-;~4!~de-np&z-im*V[@dW~KӐ| |nBYydCdЛ R-S5l7қ5?wQ2+7wZ#TrQ$L2~`dP gJ|2/ q=jtظX.I7յ)qvg56 #T7xP`'Ь4|7+@Ib+\ v{F1|(c=00r>wYYD[7❁[p,7bLWCP`d_"m:R-ڗn7\s7g]mAG -qRӸs'ε.ğQykXv+U \V(F$,%Jo6aV59zrZ7^ 嫚҈lb%/:M; KKSE^yxrlx1uɵ2E"$T9ꩼ;+GUs\lT(О1)!E ?b8G`.!1"@ K[)'(W3P͝.37f=glE1=OɎevb,51q5Z+Lբy^i9|["U6I8e/;Pz  y~Df4@'j9醉D8f.ie*1!9‰Zeftu c EhegYZf3ea7a40d63d8dda3c093085a56f6dc23099b8ed3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 58a1d79a11e622615d10ad99cebd239721c5b867 5e820ca48227fffda5269cb61cf43af8f1e6d91c 5 DynamicArchitectures