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   \)   ]/ FunWithTilings:threads=4elapsed=34.990cpu=40.680gc=0.256factor=1.167zXZִF! ]]ŗXiɟH)0%ohL,ZĮz%vs b=:;TdMǕfcS)ӟ@|/u i`Ap(LRp^$k177Cc֯oR'^JWV,Sh8%IfRHQDni΢IAD\*~G`m]p{P~Wh)0 VkKC2z\URn,s>m*{umÃjd6<0fӀIzwt0{lݨScf} h4ivC_YK'|)LN Il^%µo^23S~E_ 妌2>zW0p58n92](qǸcDz(642@ 2V_Ԗt&ReD>m'b1r\߲{pOtejI-CZGUid׸ ] ##ǽ}V84Z5XԯfCDI`PU5Ucʕpu JӰ Zyge1*^`SesGd bo#7ٜt%p F&V: f 6F[߀#tܤky^/$9Ɵ+f!`ŧj{= ) FunWithTilings  ҁh/CE`Y*Y/8 ԛV2K)8$ʡXPʹ5"$1L^TөFsק |  #Qr*Ss4SCCJ)3LNqhHz-q9JpE$BX6ǫŧw)a:No7FN>^#!$\.;⿜]+,]83FLג!Vzc5d /hڵAf+oOh/(EqRc(.`G|6O7u7cE?Wsmt(;P_J&ϼ] l=Cx950|(ڃo7 A׵Ͼye{+$op1*TErrD&#zɘuֆ=2{@k?l"zRXIFlepnsq%{PYq |VV\+mjaON5e>0O+L,9| & V*lLa @Hn6<%Nk z `AhiS9K6_*?{Ѓ/Q?@AH{{;+6[?C$@ԽK-VD0~*X]V-MzϷE41ݗ;pSYJPFAmĈ-q%EtꉍS'-RKB0%H<WL bS;cx]dڛ ^ʜTiR. TL#40/OuAb^~Vk"뵍w)QXA,I`?L7xlTۦw-XM( Ϲ`!gSTsj4[q# ,Ň-`Q5c` ކU'm<$DV.O6HXcxcW7Y?)<4YyYѥjr0 O'Q c}9AF@?)1[p!20 {a% TSRdayJgOԐ<;:A.<\i+GիEt{Hx$:t2xSqkd"bXGaVl4 aoۺ/musdk43k"PH-âtl=ek&ONY /Є-q>8Lwq@_,-XYWg$#-ϺιUq=4$$U OJn\w*I=0M(]8!l g|'(G!5ViCclԠ/4!S|ڄF9NKlߜ]EBNO:!d(2?G gV,38]9lٞs0s<ˊk<HȐm\YĿ`IPlba/AD B7f2#-B&5Y39Xhs f?