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 7 l\T ]/ Weight_Balanced_Trees:threads=2elapsed=19.261cpu=35.476gc=1.536factor=1.847zXZִF! o]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxU?x׌ *2}aRNDn@J[-@vTS!Z?(/rp3Ixxs*~ lP'\_s}x#ykEsdT 8/4^%UaT?Imy7JőMtG@4M 8U͛Krsﻯ jCTzj#}1XJ;(T$&*^B+LY"/;o5Kų6#U,=8cK*E8D*y2N^nuW&#~2m: p4LW2.2ً. ;> lkw> *4V4#`r dz;U([ $,Pl&mq1q3PH^J܍:E@fC\((vC^Eࠉ EQ}mut/p`+)o\:|Oc]w9c:q0.]zzC@\ݟ SFȇ l#ęD5-,dGX3T,x>uam,Gm+FUqHqا2ټt=̾W1mG1וpYT6;k\Ô\HgCI ~*ǿ f<#Pq >;51MIVmyp`v=>ǧx~Vʭѣ.?3b! =w"f*) ?DPj#Cۻl/+gr^SCx<5W@0 ?KL:a:^d%ZC ^Est!,x='| c\*#fc2bHiLYlwzxޱ}WWqu1ڐ ^t` X{z ]&sBl - K_\Aj;  _Ѕȅkߖu*Q eǒ=@ld  `6ib(H*+9w*%TTU7W2^)+)ѷGyS#)N[}|^34Twb+s(AJkID(1_('xMg[,8Ϙ!Xj!=L60ᕄY(7_0evSv^=?OpD ׽Z̧IԨ\i~^r%RbX@aƨEpE̾##hv=`i ;Sg܅ª$CS4y'/Ӎe7Pţ&#|Hj% ">&sqlϐՔ4 =\n$[&g@){O?X'1eBn]5bܬ8gd&zd6޷- ZGADfd+ydӤj ,p ͱgYZ68f8c8aaa5d62eabe8f2a76cc29a672512d0a0d9665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 7 Weight_Balanced_Trees