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 OO. D < ]/]HOL-Word:threads=6elapsed=10.058cpu=51.048gc=2.272factor=5.087zXZִF! ]ŗXf1-q恈eO/O4Eh?>R[Gޮ||^FޭLO1C!PcS(a7X[U9fTvQ^;i/5stig|=1c g8+6e\d_+k*^^J%rN;=>$()\,E:Z$`܀䨀jٕ5FM4?o3\ 3`H!>.xۮW *}ݾTEw4g615/Wf/]* .RIk_i+[ K enkqI 4V`ȯwq-*#~6 0~ J,Tg4̓G #2~uCQ5MMiXe] Tff({<Lwާ1 ~G7\+d=)> )knYR 0@~PTo!˰J6LyEnzuPY?3bxq04WMUcN! ^w/)ԘН&e)7^f Y+:]|L\6$Sb;UUp{8zYS "صQtں_)]Ƌv)1|Zk4|ԥW, a\+ծ3i()! rK^ e\,1 ];Pm V+0GgB@gYZ7zXZִF! ~]ŗXiɟ1}?3DDCBCmlRRIa 殂s# zb\82]-=SL{PYTF4VjZ g~ #v; r2:@/bl4ѭK,M&&`:b1 vngYZ7zXZִF! 8 U]ŗXi%GSCOGs}O1H\ŎAmi'ԦT o^(xBͳFhgw:QG9Gp`sAwt92q?"s@D66utS6$M Pk$^J!DZO&Щ 6VS 3C$*$aS8")[GL]zTaC}-s]?t `]ePxtumCWiP ³GՉiM:glt G `qK>'b5u747bWm (n$^` Hp t"Ƒwz1$3" -|N!n!;,[S[\. gu+pXPG>E75eD8fäO E&Oq(ѭ킽Q)]yYiJ`̦3᩹^'>/ZHe@Ff3d^QUdd~RX[n)4dh?bg R}@AFa.ik:Q`sW] BXd4x8T)ٗ8;T OywYx=DwUǴѴs74+E> ,Q CPRoUk gjhb$o憓,e--GBur D`Ȕщ!4nͷHоY)c=a_W+>nz;e ESX.2 " $ qz$G%Xomu% yZ|`mtucu#-KC'"ĐɞpC}m@JBhN-RI}Jz=>r_u[$;0:%$!$\GDuX\@ p\gYZ2cf523310f6f2c14fe450fd09a759b92f412124d1c6f2074cd6cdf579a3d3ee0e0c3866542d97adf dc5a1495e230b9fed28df216f9bc9b8936ded4f27849a8f49c2027b279d0116f3d8acfbce1fc8369   HOL-Word