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 11L1 T$ ]/ Finite_Automata_HF:threads=2elapsed=18.358cpu=30.932gc=1.452factor=1.687zXZִF! a]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAeD e=`e:#N {`r/~E)}xէPʨe_|wl+Rꩺ;nG}rJ]<%O3&%`>DJ8a%c&eD |v% *cw"0͋zAu^f /D[泎| /`mi_7\9+&c29B eǢn1jts?p1&YCFV/X13\aԫ>wnQqBjɗmH#foKNl+cs:a}"/~T>89d:μ3m@gH {L4@htI*LFe}@ ݍfF`lYQd̛-ѷK"T Ϛnab>gFIFƑJ:z[&eYY_؛~;B.$P$u}5IumE+sVtI8#  #k 5ޡkmu0NeQYk\=Ǵa5w~7t}1b z )v 8lQ-PIԏ}1h}W< .F!{*خlEMSv*?z Xn?Ȗ=?lbWt`جYS Pm@?I779&S %1]U]7c`PpՈMyhE"u\`3ܚ$}[>j[2~;}J#B`P0 ? *3( }ՙcT_á0xO=;]kz>S~Q`%m=}*9MӨ Rq:‚N{Ga/uNMC羧FU+U6n">̞ 3fonX#&Vt3'>?I\bPkӿDֲuoYC4|@%rkk^Z3Dߒpu7h_2ˀ~9Y*}Y۪WoMS[ ݚ<\h`J"gns:O* d81v@`u"m#Ǡu)ٽ?AxkѩYtأSꪙL!.Wߌz.fԇH|/vHG+/~ȅ.9lHBjkk!O7΄?[䇤d%5ef`3ya[UsfCW5媈Ç9Ast:ۡi}Y݂VR";"Ie3CG(nbM׳6\Gq~t 3ÇJEr~jdAGb?רUϠIY*k2H]׌ꡳǬuj}V~l5p'hS#Z'lhOG/W-RQrG0/yM"=ڑ1Mdd zz| h] WOJcJJ3/DO`3wrn+@̛P]{kFwAaRJԮaǞKA+B Y[*lo=}hW7ښ 8,gYZ1b6f987b1b3787d14aa1bd00937e14ad8dca18d90779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 1 Finite_Automata_HF