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 cc- |dD ]/ ZF-Constructible:threads=2elapsed=16.327cpu=31.304gc=5.680factor=1.927zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^6FIjZ@uhuWw`jY3O~9frՏV,ctUxH֓uspo66Qԏ>FXϥՕ1ψ4~/Eۛ/86&4gYZ7zXZִF! l]ŗXiɟ95ZrY!Zg>3gAKrTVxl>'ʈt9~p:&9׿3  .L@F&O`Z[E=d@ĕʋΡ aM n? ,7&ΒgRpS yg*|\Тv\,.$hI4wW%/5S\gKQ˭>D& v%w[-{\:yսk 4=S_(h:LcT)N@z ?kwIDlpn-ҝ|L1(7@p,aB4#~ 4D{COsTB*wlNт0ZKJm-rpA@H+GSw 72Ҧf[FJy徝¨t+}c,腡}~B\o pkvv7Iqkgb Cϊ1M^'OkʼYK/iʰ6f'Tm&Et]n.3U\-Pv/ܸ>WIN?O-{^wklC (i&نxѶ偮qDC=@ma8 +ߣS He1?e"_Jv6GOk u+59'8)i6f-9j!G+3BzcS}2ܳS"l>tZqXSg|rmtrSFf#M$@ī [dHD( bZ%*BP .WfWҲI+ع(<0TT@4%3:E $s-Ƃ ; >JR+p+E8㘾UaM'/}J9+@ucNZ26B{lt|ʣ+]SsW/WKouvySi1 Wyв.}Oyؕ;c`-kOϷ9Q^.TeELo"j2ZN*8~ %*w RBs NEHג!̢ѩD\wy<`f]bb*Gp4){;=@MUZ.+b-f Q0RfϵzXW1退3vm_HO} eo| 1"LV (m} Ph!|q qogYZ238a2266bc3e8d897c3574f595bcbe650e37cfc1a9ba4fcb27c61f2722def1490d5cc6ffd820a523 6bf1fa0e358421082bbb58a0bef5033de7f2d0cc - ZF-Constructible