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 ;)  D ]/ Card_Multisets:threads=4elapsed=8.444cpu=21.840gc=0.716factor=2.597zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjxBJU뒬18DV~[p)Mi:$ˤ`a}\ㆽKP#ј}<35]rI 8C*.8 HjGTg'gzzE {}֟:f͵t<.؍gxT>0VL`p#6'!Ok>:vfbt:Y̌L4ҥc$32}sPN.GCqpՐ*Rj-$6ؽ+˹42g<[o-ȾRe,:F/Wrǐ־CQwJ(XAM])Ngq ="~r @\zF 1,nE'L~%MJDP-6O1Foq7neQi9j*wo<R؀aÉ[/N(X@9xa N=NF71. ]kk{k>ABWIpD);GS􌴚Mc1ZTm #9+2ms2}V ż P# Q=i[ױf yV\ $ Q vW;5TNQkD d,3=XDGC,+糴D"%oC8PKͶ+ZCuK=֢S[sS]_rZNJ C>|P@/(>`T8řE:LPb?Ѳ_ +5UTK$rdʙg&~)l@B'iR_A$=bPfā;cs513cLTC"g QI4Np4ͣ| ~gCaV'9St(@kc;N$H۠aa=>(||[,E7L v?[7$֋jP_҄x7 wmfEJ eaq(U@YfٳY; Kp= CJ9!&*0:vmbT~!KtI>s^u#3)+h 賶=X߉mnN S$*j綬<#?N [