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  p pO  ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.491cpu=83.344gc=4.916factor=1.877zXZִF! ( A]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nڔ{30fOUٖ<*UtZA&W6L<St yoVzm <#H|ZPӄ[!gd&tU U^6x) y"W9B%(a[PU3p ]" fu4:{*^}Rqie>_>+*MҐ<{5 &l8o:5[h)ĽK#G%$)kϡIk};pLfJ|FQfaZQ~yi"-(w /~ܟR$< 0N>Ir4G=e  ^gUIciu3ug]L,]!= ;P&Պbw=bRڳ;w76"3#xy/ _g;͋h;XRVIb  dOA¶M&3s(T:Z'$3#tr9424 &v79cvP%@ZHt)0p1C̯0$| "ĭIw0Ku1mUcb^zu x/Paݼ݊瘰I˝Z|WMΰ/zÀH[Ldj]+ <:Y'T)e] $O Probabilistic_System_Zoo-Non_BNFs  Bqjt8\'5VV74V (4&ھԸJY7Ot&:!Hع/&+n YJڢsXu$UOe?XC@ \"Ox͍0#PDZ,rqDSxz8GhWړr VE+9gdAr_ ,ؙxkv/O&;,7&(9N9 /ǟd_L#iPфv[ (UD"S%ࡧA ,FUJS$n[S)#ftWغvXA%ʞ Dw娜&/Yia$ٳZҠlp%,tTQYFdžc}&[tqt&( 5)ya!˛Hmdh QpXBl+`jvʻ8jMu 2;\ÀGp:v̴|w bl*g+ eXusujC$ense; e|zi՟d`CEӎ86,"+t Ӎ2gYZ7zXZִF! {]ŗXi%;N&[K)Pw;Q ̒6B> `p왪kp f/HQ =ՖG­n]uM|9xrJj ]%K#$3ssYй'wiܞ;`Dm-)pg66zB.,2&¥AЩ@`,C%*^{IӖVmCUz֞}p;?TiҧhǷɟ&P}KcX4b o1svFu[Ebi:"lO,mFR tCUϜf6HvU*ч!tJwiu@.\?B0 5@?G`.lKB/(-?2"ņ!s$ 4(] 8wbΥJoA#_ZfA uKJ7y~>f'ҬVZz'1.,k)O%l^4pCU!ޢN`˕'(kW2t |U0a;u}ƨ7XMYzk"y;/)7/[O9;6݂tYZ GG@5sݥE7[@Hq_eȭo\+@eبhoBa@#63z,AŬѥJRp$'7EnѐFma9IЈK9(/_szا_ TOp꒘Wxw csƠH Mx @OU~Lj4n?Ex8Vop8xJQ>!Z:K{9~lt#ER=f\9/V~$)pux6U%xhl>jvN5bd*}1ZL-F8"MJ胃"Uyɵ>~ކ޾6f:M{*4y SYGB %f#z{ aӖN8C3*b-W}>(Je-U9@T㯡>ϐ}S Dm?"|89D;C!<~q--ghsOy( h]no|'A">bA MǕZk7a'? ZO}4xQQ_7C'v9) " >^>~~yzsQw/W%(aMs|?0-Ȩ}5_A* 65=FHx T#oab}@B^a%gimXTH)8Qtre18!wUagGOǪW>R]/?T#NhniX (Xl #cHZ U[ za(a\6Fؿ֫ 'h uw)_aQZojౠ.DLqP=.j0\&<Gש!9g.j:(wfHzqpfjXgOc'd=@{ә<(j+ ޣ7g9~ a2H@~a-'R$} \g\LLSv^W\ī/\"ytB aW}"Sռm+'f9uѾ >ȓC(sH(uN# fĻs s[;B@ g;+TGvbNA۸퀃@YpSYo&vPwRehJ4 v AfsZ_CnqY-CEgrp#2x4vQu@vqK&[s{NaV+]ք)2?;z^%!DҋAߣJ7JH0f/:a/V jQVT0w! ysm>QJHq;+01HeYq/4D4. AحNnQ_"e._emI!բ{d?diqJ>h瑝Wu9x5Vtp]*ʵ_Vh[7!M7GVôH4E)i͛L3Η!Kt'2`*aJoWFTL/|gw獆!?- =۫tʃʊ7h&OWp4 ao:1Z!,9R=z!pq"Uo1$-프|gºR$"1(jMyj.񛃢 ,5l-|\z?JՕ(  D勘KpM;Ee@[