SQLite format 3@ .  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 f- | 4 ]/ ZF-Constructible:threads=4elapsed=10.553cpu=34.732gc=5.772factor=3.297zXZִF! 5]ŗXf1-W5"~ H:Fi{3g]US۶/QlWKQŌDp N'chתb'GVkPu7ۃ8exӅ,=yM)x?[ v)#fX,?[0 Cbu`1C ܻ >MixJྑglՖLdf2|gZQ+3 *u7rsӷڦ:lUʽŚsb'tLW5=XJ31[_ޣb䕣_ ̹Ǿ0wW nQ{mZ;B/K[E9_WPnB &;N azTDQ&~G¸UFR.6qբҼt /+ϺZg[!7sm!p#En I'z퐬Ċw%\lѶ2J}i2B}QKh.PN-yG^gYZ7zXZִF! ]ŗXiɟ95ZrY!Zg>3gAKrZӖBCv~U%G֦+!sKu.`jӆH{*Ca6X;B4kqB+qti2?wrxk72ۏuP8B bF}ud$9O*~l^ IղQ6 n4}f5qdw2M]aؾ%N.=껰"mWPb$=r.USK̭!+Pn%-C!w]ƣR RtRsfHN6gAFhxaaA]^˗# *5S^Qjnql>_h"( @"A< ӊ*Tfn p>]_<2e"EPPZ*yV~&a2ϲZ.Ɔ\pUd _.*yq=۸6w㌁a4&_Vt"X@ɛ,+}%P8>cV7HmX#[,vH,z^j%O*%ϬNp5BBхmw\[NxC0oqoٙUdRm-'LU'VLgQEV;gt3=HBm]޹4>q:0~Wm? rRӌA)r(}'=|g9NYicW ;O+_=$.7T/y&7J}.T*F\F1heY0b}qdN p uH(1WCY"vN{0W7h,TOu  Q1H(؅,;/aAPʗۻ|2TE-F h-H;?}*ß_J ͂D7ː,~P(g)w_C#`D5lI4{7YG dW QkD\+8⭏A͚B{iz5ƕ5