SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 }}) d %S Dynamic_Tables:threads=2elapsed=8.467cpu=16.512gc=0.404factor=1.957zXZִF! ]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 ҐD0-*C⻷Ac{T)>̉SX 8ύUCMKYAF~VM   Y+ ?0&\)*m@NYJa7j'oۂc} v{> ajo&z++/㕡jz'/Y+d ȑ{#f)b]|wj,;vIgpp6$}4g2tq{oHk8FP6~Vĕ9Uz-Z:M>֔f9_C`p`#+t9B䭙ʞ7r^3SoA%.-vL8\'djB` GPyXg}8e5&zzRpk*J@:.L |;v-S(?컸@%vq;@#-ozVEլ~aK:~kAGI;EUn6%*"wLSgٿ$?p.|s @̗8`mM9+;z"9 z\ymNQtc_h,>9 c~qҖQ'! xy2#EЗNO !YDK㸝N [ȱsa< #0X?z;~N}Qs(EZ0>X 6G1^[B~m#be :}${MwqŌkC Kl4V̍ճPU0^ѦVn-[A?UbmaT?Iy>e ʱhayw2hõ=y<[O֗tRl) 5amڜ(P^pgO +QڒPHʔ ~(mb*gYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e59554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a df3d5469e74b822b50b0f5225cc8492f08a64c51 ) Dynamic_Tables